Jaroslav Bendík: Consistency checking in requirements analysis. ISSTA 2017: 408-411