Cornel Klein, Christian Prehofer, Bernhard Rumpe. Feature Specification and Refinement with State Transition Diagrams. In Petre Dini, Raouf Boutaba, Luigi Logrippo, editors, Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada. pages 284-297, IOS Press, 1997.