Slide 1 Small Tools and Interoperability Arend Rensink Formal Methods and Tools University of Twente Slide 2 IPA Spring Days, 7 May 2008 Small tools and interoperability2…