Gilles Perrouin Erwan Brottier Benoit Baudry Yves Le Traon Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. 89-103 2009 REFSQ http://dx.doi.org/10.1007/978-3-642-02050-6_8 conf/refsq/2009 db/conf/refsq/refsq2009.html#PerrouinBBT09