Bruno Legeard Fabien Peureux Mark Utting Automated Boundary Testing from Z and B. 21-40 2002 conf/fm/2002 FME http://link.springer.de/link/service/series/0558/bibs/2391/23910021.htm db/conf/fm/fme2002.html#LegeardPU02