Author: South-East European Workshop on Formal Methods (4th 2009 Thessaloniki, Greece)