Visible to the public High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care (February 2009)