@article {3849,
	title = {"Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"},
	journal = {Proc. of Computing in Aerospace 9, AIAA paper 93-4578},
	year = {1993},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1993_Model_base.pdf},
	author = {Karsai, Gabor and Padalkar, Samir and Franke, Hubertus and Sztipanovits, Janos}
}
