Wenbo Chen Guang Zheng Lian Li Jinzhao Wu Real Time Process Algebra with Urgency Executing Policy. 34-41 2009 4 JSW 1 http://www.academypublisher.com/jsw/vol04/no01/jsw04013441.html db/journals/jsw/jsw4.html#ChenZLW09