Integrated formal methods third international conference, IFM 2002, Turku, Finland, May 15 - 18, 2002 ; proceedings (Springer, 2002)