Nicolas Gorse Luigi Logrippo Jacques Sincennes Formal detection of feature interactions with logic programming and LOTOS. 135 2006 5 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-005-0104-3 db/journals/sosym/sosym5.html#GorseLS06a