@book{2021-heinrich-lncs-b,
  editor    = {Robert Heinrich and
               Francisco Dur{\'{a}}n and
               Carolyn L. Talcott and
               Steffen Zschaler},
  title     = {Composing Model-Based Analysis Tools},
  publisher = {Springer},
  url       = {https://doi.org/10.1007/978-3-030-81915-6},
  doi       = {10.1007/978-3-030-81915-6},
}