Formal approach to conformance testing by Tretmans