C. Ghezzi, D. Mandriolli, and A. Morzenti. Trio: A logic language for executable specifications of real-time systems. Journal of Systems and Software, 12(2), 107-123, May 1990.
author author author author author author author title title title title title title title title title title journal journal journal journal journal volume pages date date