Algebraic Semantics of Real-Time Process Specifications. - Gil Zvi Deutsch; S. Kaplan (AMAST, 1991)