Keijiro Araki Andy Galloway Kenji Taguchi Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 IFM Springer 1999 1-85233-107-0 db/conf/ifm/ifm1999.html