Object-Oriented Development: The Fusion Method, 1994. ,
Methodological support for requirements elicitation and formal specification Detecting feature interactions ? a heuristic approach Available via http Deriving Specifications from requirements : an Example, Proc. 9th IWSSDHS98b] M. Heisel and J.Souquì eres Proc. 1st FIREworks Workshop Fakultät für Informatik Proc. ICSE'95, pp.153-155, 1995. ,