Author: International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)