@article{BCDS2013arx,
 author = {Luboš Brim and Milan Češka and Sven Dražan and David Šafránek},
 journal = {arXiv preprint arXiv:1310.4734},
 title = {On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking},
 year = {2013}
}