Dang, H., 		Zhang, M., & 		Pham, C.
2016 Mar 11.  Towards Model-Checking Probabilistic Timed Automata against  Probabilistic Duration Properties. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 32:1