Pieter W. M. Koopman Peter Achten Rinus Plasmeijer Validating Specifications for Model-Based Testing. 225-231 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#KoopmanAP08