1 Jan Tretmans [email protected] Embedded Systems Institute Eindhoven Radboud University Nijmegen Model-Based Testing.