@misc{4eff018f976647369d564d7c1bba33ed,
title = "High-Confidence medical device software and systems",
abstract = "Given the shortage of caregivers and the increase in an aging US population, the future of US healthcare quality does not look promising and definitely is unlikely to be cheaper. Advances in health information systems and healthcare technology offer a tremendous opportunity for improving the quality of care while reducing costs.",
author = "Insup Lee and Pappas, {George J.} and Rance Cleaveland and John Hatcliff and Krogh, {Bruce H.} and Peter Lee and Harvey Rubin and Lui Sha",
note = "Funding Information: We thank all the participants in the HCMDSS workshop, held 2 and 3 June 2005 in Philadelphia. In particular, we thank Wei Zhao and Helen Gill from NSF; Paul Jones from the FDA; David Hislop from ARO; Brad Martin from NSA; LeRoy E. Jones from ONCHIT; Shankar Sastry from UC Berkeley; and Simon Szykman, Sally Howe, and Frankie King from NCO/NITRD. The workshop was supported in part by NSF CNS 0532968 and the School of Engineering & Applied Science, University of Pennsylvania.",
year = "2006",
month = apr,
doi = "10.1109/MC.2006.127",
language = "English (US)",
volume = "39",
pages = "33--38",
journal = "Computer",
issn = "0018-9162",
publisher = "IEEE Computer Society",
}