Coherent tool support for design-space exploration door F. Shi