Keijiro Araki Stefania Gnesi Dino Mandrioli FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings FME Lecture Notes in Computer Science 2805 Springer 2003 3-540-40828-2 db/conf/fm/fme2003.html