Requirements Engineering: Foundation for Software Quality (REFSQ)

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