Becker, J. S. Analyzing Consistency of Formal Requirements. eceasst 2019, 76.