Judi Romijn Graeme Smith Jaco van de Pol Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 3771 2005 3-540-30492-4 IFM Lecture Notes in Computer Science Springer db/conf/ifm/ifm2005.html