Kang, Eunsuk; Jackson, Ethan; Schulte, Wolfram (2010). An approach for effective design space exploration. FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems. Springer-Verlag Berlin, Heidelberg. ISBN 978-3-642-21291-8. 978-3-642-21291-8