Hongfei Fu, Yi Li, Jianlin Li: Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. QEST 2018: 122-139