[1]
J. S. Becker, “Analyzing Consistency of Formal Requirements”,
ECEASST
, vol. 76, May 2019.