A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.

Raoul Praful Jetley Cohan Carlos S. Purushothaman Iyer A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. 320-330 2004 5 STTT 4 http://www.springerlink.com/index/10.1007/s10009-003-0137-2 db/journals/sttt/sttt5.html#JetleyCI04