@conference {3854,
	title = {Model-Based Software Synthesis for Large-Scale Systems},
	booktitle = {Proceedings of the 9th AIAA Conference on Computing in Aerospace},
	year = {1993},
	month = {September},
	address = {San Diego, CA},
	author = {Abbott, Ben and Bapty, Ted and Biegl, Csaba and Ledeczi, Akos and Sztipanovits, Janos}
}
