Author: International Symposium of Formal Methods Europe (15th 2008 Turku, Finland)