FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Oliveira, Jose N.; Oliveira, Jose N.; Zave, Pamela; Zave, Pamela (Springer Berlin Heidelberg : Imprint: Springer, 2001)