@misc{984,
  author = {Janos Sztipanovits},
  title = {Safety Analysis and Diagnosis in a Model-Integrated Computing Framework},
  year = {1996},
  month = {June},
  publisher = {Institute for Software Integrated Systems},
  address = {Workshop on Model-Integrated Computing, Nashville, TN},
  language = {eng},
}