Taolue Chen Jaco van de Pol Yanjing Wang PDL over Accelerated Labeled Transition Systems. 193-200 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.42 conf/tase/2008 db/conf/tase/tase2008.html#ChenPW08