Roberto Di Cosmo, Jaap Boender: Using strong conflicts to detect quality issues in component-based complex systems. ISEC 2010: 163-172