@misc{indiciaed0e69a84361f,
  title = {Computing Maximal Expected Termination Time of Probabilistic Timed Automata},
  author = {Omar Al-Bataineh and Michael Fisher and David Rosenblum},
  year = {2018},
  url = {https://arxiv.org/abs/1709.07171},
  note = {Source identifier: 1709.07171}
}