Shireen et al. - 2011 - Design space exploration in parametric systems an