Christian Ellen, Sven Sieverding, Hardi Hungar: Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. FMICS 2014: 155-169