Author: International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)