Kenneth J. Turner. Validating Architectural Feature Descriptions using LOTOS. In Kristofer Kimbler, Wiet Bouma, editors, Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden. pages 247-261, IOS Press, 1998.
Abstract is missing.