A formal approach to conformance testing
A formal approach to conformance testing / Gerrit Jan Tretmans