@article {3818,
	title = {Safety Analysis and Diagnosis in a Model-Integrated Computing Framework},
	year = {1996},
	month = {June},
	institution = {Institute for Software Integrated Systems},
	address = {Workshop on Model-Integrated Computing, Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_6_0_1996_Safety_Ana.pdf},
	author = {Sztipanovits, Janos}
}
