@Article{acta,
  author =  {Milan Ce{\v{s}}ka and Frits Dannenberg and Nicola Paoletti and Marta Kwiatkowska and Lubo{\v{s}} Brim},
  title = {Precise Parameter Synthesis for Stochastic Biochemical Systems},
  journal={Acta Informatica},
  pages={589--623},
  volume = {54},
  issue = {6},
  publisher={Springer},
  year =          {2017},
  url = {https://link.springer.com/article/10.1007/s00236-016-0265-2},
  doi = {10.1007/s00236-016-0265-2}
}