Raoul Praful Jetley Jetley, R., Iyer, S. P., & Jones, P. L. (2006). A formal methods approach to medical device review. COMPUTER, 39(4), 61-+. https://doi.org/10.1109/MC.2006.113