Requirements Engineering: Foundation for Software Quality (REFSQ)

• Automata-Represented Requirements in HanforPL
• A practical and complete method for detecting rt-inconsistencies in real-time requirements