FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Keijiro Araki, Stefania Gnesi, Dino Mandrioli ((Lecture Notes in Computer Science))