Chen, Pol, Wang, 2008. PDL over Accelerated Labeled Transition Systems, in: . IEEE.. https://doi.org/10.1109/tase.2008.42