2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability - Title page | IEEE Conference Publication | IEEE Xplore