@misc{indiciae03cc31abf7d4,
  title = {Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC},
  author = {Ľuboš Korenčiak and Vojtěch Řehák and Adrian Farmadin},
  year = {2016},
  url = {https://arxiv.org/abs/1603.03252},
  note = {Source identifier: 1603.03252}
}