A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. - Raoul Praful Jetley; Cohan Carlos; S. Purushothaman Iyer (Int. J. Softw. Tools Technol. Transf., 2004)