Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. - Brim, Lubos; Ceska, Milan; Drazan, Sven; Safránek, David (2013)