Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Rajeev AlurDavid ArneyElsa L. GunterInsup LeeJaime LeeWonhong NamFrederick PearceStephen Van AlbertJiaxiang ZhouPublished in: Int. J. Softw. Tools Technol. Transf. (2004)