The New Food and Drug Administration Center for Devices and Radiological Health Engineering and Physics Laboratory and Methods for Testing Software That Controls Infusion Pumps
JetleyRIyerSPJonesPL. A formal methods approach to medical device review. Computer. 2006; 39: 61–7.
2.
JetleyRIyerSPJonesPLSpeesW. A formal approach to pre-market review for medical device software. Proceedings of the 30th Annual International Computer Software and Applications Conference; 2006. p. 169–77.
