Wolfgang Grieskamp Thomas Santen Bill Stoddart Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings IFM Lecture Notes in Computer Science 1945 Springer 2000 3-540-41196-8 db/conf/ifm/ifm2000.html