@article{2019-duran-dagrep-tr,
  author    = {Francisco Dur{\'{a}}n and
               Robert Heinrich and
               Diego Perez{-}Palacin and
               Carolyn L. Talcott and
               Steffen Zschaler},
  title     = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)},
  journal   = {Dagstuhl Reports},
  volume    = {9},
  number    = {11},
  pages     = {97--116},
  year      = {2019},
  doi       = {10.4230/DagRep.9.11.97}
}