Emine G. Aydal Richard F. Paige Mark Utting Jim Woodcock Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. 131-140 2009 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2009.20 conf/icst/2009 db/conf/icst/icst2009.html#AydalPUW09