4th South-East European Workshop on Formal Methods SEEFM'09