FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II - Wing, Jeannette M.; Wing, Jeannette M.; Woodcook, Jim; Woodcook, Jim; Davies, Jim; Davies, Jim (Springer Berlin Heidelberg : Imprint: Springer, 1999)