2009 Fourth South-East European Workshop on Formal Methods