Semantics of trace relations in requirements models for consistency checking and inferencing. - Arda Goknil; Ivan Kurtev; Klaas van den Berg; Jan-Willem Veldhuis (Softw. Syst. Model., 2011)