Diedrich, et al.. Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets. SCITEPRESS - Science and and Technology Publications, 2016, doi:10.5220/0005679102800287.