Neema, H. ., Lattmann, Z. ., Meijer, P. ., Klingler, J. ., Neema, S. ., Bapty, T. ., … Karsai, G. . (2014). Design Space Exploration and Manipulation for Cyber Physical Systems. In IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL’ 2014). Berlin, Germany: Springer. (Original work published April 2014)