Formal Methods and Tools Group, EWI-INF, University of Twente