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