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