Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304

Languages mentioned

• ERAE {1991}
• INFOLOG {0}
• MAL {1991} Modal action logic
• RDL {1991}
• RML {1984} Requirements Modelling Language
• Statecharts {1987}
• TELOS {1989}
• Templar {1993}
• Tempora {1990}
• TRIO {1990}