Formal approach to conformance testing door Tretmans