Shoham Ben-David Anna Gringauze Baruch Sterin Yaron Wolfsthal PathFinder: A Tool for Design Exploration. 510-514 2002 conf/cav/2002 CAV http://link.springer.de/link/service/series/0558/bibs/2404/24040510.htm db/conf/cav/cav2002.html#Ben-DavidGSW02