Mingwei Xu Jianping Wu An Extension to Concurrent TTCN. 447-454 1998 INFOCOM db/conf/infocom/infocom1998-2.html#XuW98