International Symposium of Formal Methods EuropeCorporate Author