Yingxu Wang Cyprian F. Ngolah An Operational Semantics of Real-Time Process Algebra (RTPA). 71-89 2008 2 IJCINI 3 http://dx.doi.org/10.4018/jcini.2008070106 db/journals/ijcini/ijcini2.html#WangN08