J. S. Becker, “Analyzing Consistency of Formal Requirements”, eceasst, vol. 76, May 2019.