Completeness in real time process algebra - Klusener, A. S. (1991)