@conference {3841,
	title = {Model-based synthesis of complex embedded systems},
	booktitle = {Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW{\textquoteright}94)},
	year = {1994},
	month = {July},
	address = {Washington DC},
	author = {Sztipanovits, Janos and Abbott, Ben and Bapty, Ted}
}
