Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon. Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. In Martin Glinz, Patrick Heymans, editors, Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings. Volume 5512 of Lecture Notes in Computer Science, pages 89-103, Springer, 2009. [doi]
Abstract is missing.