2006 journal article
A formal methods approach to medical device review
Computer, 39(4), 61-.
By: R. Jetley, S. Iyer & P. Jones*