Designing Safe Software for Medical Devices

@inproceedings{MacKenzie:ICSE99,
  author    = {David M. MacKenzie},
  title     = {Designing Safe Software for Medical Devices},
  booktitle = {ICSE},
  pages     = {618},
  publisher = {{ACM}},
  year      = {1999},
}