Muffy Calder. What Use are Formal Design and Analysis Methods to Telecommunications Services?. In Kristofer Kimbler, Wiet Bouma, editors, Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden. pages 23-31, IOS Press, 1998.
Abstract is missing.