A Formal Approach to Pre-Market Review for Medical Device Software. - Raoul Praful Jetley; S. Purushothaman Iyer; Paul L. Jones; William Spees (COMPSAC (1), 2006)

An open test bed for medical device integration and coordination. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (ICSE Companion, 2009)

Demonstration of a medical device integration and coordination framework. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (ICSE Companion, 2009)

A publish-subscribe architecture and component-based programming model for medical device interoperability. - Andrew L. King; Sam Procter; Daniel Andresen; John Hatcliff; Steve Warren; William Spees; Raoul Praful Jetley; Paul L. Jones; Sandy Weininger (SIGBED Rev., 2009)