Drupal-Bibcite7<style face="normal" font="default" size="100%">Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients</style><style face="normal" font="default" size="100%">Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients</style>