Qiong Wang Chenglie Du Chunyan Ma Gang Li Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description. 363-369 2008 CSSE (3) http://dx.doi.org/10.1109/CSSE.2008.907 conf/csse/2008-3 db/conf/csse/csse2008-3.html#WangDML08