@conference {3484,
	title = {Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality},
	booktitle = {13th Annual IEEE International Conference on the Engineering of Computer Based Systems},
	year = {2006},
	month = {March},
	address = {Potsdam, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Jackson_EK_3_27_2006_Correct_ed.pdf},
	author = {Jackson, Ethan and Sztipanovits, Janos}
}
