@Article{lee06a,
  author =	 {Insup Lee and George J. Pappas and Rance Cleaveland
                  and John Hatcliff and Bruce H. Krogh and Peter Lee
                  and Harvey Rubin and Lui Sha},
  title =	 {High-Confidence Medical Device Software and Systems},
  journal =	 {Comnputer},
  year =	 2006,
  volume =	 39,
  number =	 4,
  pages = 	 {33--38},
  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.},
  keywords = 	 {handheld},
  url = 	 {http://jmvidal.cse.sc.edu/library/lee06a.pdf},
  doi = 	 {10.1109/MC.2006.127}
}