Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.

Jan Tretmans Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. 99-100 2006 MMB conf/mmb/2006 db/conf/mmb/mmb2006.html#Tretmans06