Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. - Sara Bufo; Ezio Bartocci; Guido Sanguinetti; Massimo Borelli; Umberto Lucangelo; Luca Bortolussi (ISoLA (2), 2014)