A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

Gabriel Baum Marcelo F. Frias T. S. E. Maibaum A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. 91-105 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480091.htm db/conf/amast/amast98.html#BaumFM98