Mark Timmer
University of Twente
Department of Computer Science
Formal Methods and Tools Group (FMT)

P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 3722
Fax: +31 53 489 3247
Office: Zilverling 5078
Email: timmer [at-sign] cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~timmer/