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