@inproceedings{768,
  author = {Sandeep Neema and Janos Sztipanovits and Gabor Karsai and Ken Butts},
  title = {Constraint-Based Design-Space Exploration and Model Synthesis},
  year = {2003},
  journal = {EMSOFT 2003, LNCS 2855},
  month = {October},
  address = {Philadelphia, PA},
  language = {eng},
}