FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / - Araki, Keijirō,; Gnesi, Stefania,; Mandrioli, Dino. (Springer,, 2003)