Ana R. Cavalli Amardeo Sarma SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings SDL Forum Elsevier 1997 db/conf/sdl/sdl1997.html