Dang, H., 		Zhang, M., & 		Pham, C.
(2016).
 Towards Model-Checking Probabilistic Timed Automata against  Probabilistic Duration Properties.
<em>VNU Journal Of Science: Computer Science And Communication Engineering, 32</em>(1).
Retrieved from <a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/121" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/121</a>