Sharon Barner Shoham Ben-David Anna Gringauze Baruch Sterin Yaron Wolfsthal An Algorithmic Approach to Design Exploration. 146-162 2002 conf/fm/2002 FME http://link.springer.de/link/service/series/0558/bibs/2391/23910146.htm db/conf/fm/fme2002.html#BarnerBGSW02