Constraint-Based Design-Space Exploration and Model Synthesis.

Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts

Browse the full EMSOFT paper archive.