Colin J. Fidge Andy J. Wellings An Action-Based Formal Model for Concurrent Real-Time Systems. 175-207 1997 9 Formal Asp. Comput. 2 db/journals/fac/fac9.html#FidgeW97