"On-the-fly Conformance Testing using SPIN."

René G. de Vries, Jan Tretmans (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics