1. A Formally-Verified Safety System for Closed-Loop Anesthesia. Issue 1 (July 2017) Authors: Yousefi, Mahdi; van Heusden, Klaske; Mitchell, Ian M.; Ansermino, J. Mark; Dumont, Guy A. Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 4424 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗