Vriesand Tretmans. On-the-fly Conformance Testing Using SPIN. Springer Nature, Mar. 2000, doi:10.1007/s100090050044.