@inbook{2,
  author = {Sara Bufo and Ezio Bartocci and Guido Sanguinetti and Massimo Borelli and Umberto Lucangelo and Luca Bortolussi and Tiziana Margaria and Bernhard Steffen},
  title = {Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients},
  year = {2014},
  journal = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications},
  volume = {8803},
  pages = {391-403},
  publisher = {Springer Berlin Heidelberg},
  isbn = {978-3-662-45230-1},
  url = {http://dx.doi.org/10.1007/978-3-662-45231-8_30},
  doi = {10.1007/978-3-662-45231-8_30},
  language = {eng},
}