FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Araki, Keijiro; Araki, Keijiro; Gnesi, Stefania; Gnesi, Stefania; Mandrioli, Dion; Mandrioli, Dion (Springer Berlin Heidelberg : Imprint: Springer, 2003)