Heitmeyer, Constance L.; Jeffords, Ralph D.; Labaw, Bruce G. "Automated Consistency Checking of Requirements Specifications" ACM Transactions on Software Engineering and Methodology July 1996

Languages mentioned

• DETRAN {1968} Decision table language
• RSML {1991} Hardware requirements DT language
• Tablewise {1994}