Rajeev Alur David Arney Elsa L. Gunter Insup Lee Jaime Lee Wonhong Nam Frederick Pearce Stephen Van Albert Jiaxiang Zhou Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. 308-319 2004 5 STTT 4 http://www.springerlink.com/index/10.1007/s10009-003-0132-7 db/journals/sttt/sttt5.html#AlurAGLLNPAZ04