Dang, Hung, 		Zhang, Miaomiao, AND 		Pham, Chinh.
" Towards Model-Checking Probabilistic Timed Automata against  Probabilistic Duration Properties" <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], Volume 32 Number 1 (11 March 2016)