A formal approach to conformance testing - Tretmans, Gerrit Jan (Jan Tretmans, 1992)