Precise Parameter Synthesis for Stochastic Biochemical Systems - Češka, M; Dannenberg, F; Kwiatkowska, M; Paoletti, N (2014)