@inproceedings{ceska2017eurocast,
  title={{Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Rate Parameters}},
  author={Ce{\v{s}}ka, Milan and Paoletti, Nicola and Ce{\v{s}}ka, Milan},
  booktitle={International Conference on Computer Aided Systems Theory (EUROCAST 2017)},
  pages={38--46},
  year={2018},
  organization={Springer},
  url = {https://link.springer.com/chapter/10.1007%2F978-3-319-74727-9_5},
  doi = {10.1007/978-3-319-74727-9_5}
}