@conference {3618,
	title = {Constraint-Based Design-Space Exploration and Model Synthesis},
	booktitle = {EMSOFT 2003, LNCS 2855},
	year = {2003},
	month = {October},
	address = {Philadelphia, PA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Neema_S_10_2_2003_Constraint.pdf},
	author = {Neema, Sandeep and Sztipanovits, Janos and Karsai, Gabor and Butts, Ken}
}
