Ghezzi, C.; Mandrioli, D.; Morzenti, A. "TRIO: A logic language for executable specifications of real-time systems", Journal of Systems and Software, v.12 n.2, p.107-123, May 1990

Languages mentioned

• TRIO {1990}