@inproceedings{86,
  author = {Arnd Hartmanns and Sean Sedwards and Pedro D\textquoterightArgenio},
  title = {Efficient Simulation-based Verification of Probabilistic Timed Automata},
  year = {2017},
  journal = {Efficient Simulation-based Verification of Probabilistic Timed Automata},
  pages = {1419\textendash1430},
  publisher = {IEEE},
  address = {Las Vegas, USA},
  url = {https://ieeexplore.ieee.org/document/8247885},
  doi = {10.1109/WSC.2017.8247885},
}