@article{913676,
      author = {André, Etienne, and Stoelinga, Mariëlle,},
      url = {http://library.usi.edu/record/913676},
      title = {Formal modeling and analysis of timed systems : 17th  international conference, FORMATS 2019, Amsterdam, the  Netherlands, August 27-29, 2019 : proceedings /. FORMATS  (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-29662-9},
      recid = {913676},
      pages = {1 online resource :},
}