Formal Methods & Tools Formal methods & Tools University of Twente