@article(Baier2003,
 author       = {C. Baier and B. R. Haverkort and H. Hermanns and J.{-}P. Katoen},
 year         = {2003},
 title        = {Model-Checking Algorithms for Continuous-Time Markov Chains},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {29},
 number       = {6},
 pages        = {524--541},
 doi          = {10.1109/TSE.2003.1205180},
)
@incollection(Bartocci2011,
 author       = {E. Bartocci and R. Grosu and P. Katsaros and C.R. Ramakrishnan and S.A. Smolka},
 year         = {2011},
 title        = {Model Repair for Probabilistic Systems},
 booktitle    = {TACAS 2011},
 series       = {Lecture Notes in Computer Science},
 volume       = {6605},
 publisher    = {Springer},
 pages        = {326--340},
 doi          = {10.1007/978-3-642-19835-9\_30},
)
@inproceedings(Ceska2014,
 author       = {M. Ceska and F. Dannenberg and M. Z. Kwiatkowska and N. Paoletti},
 year         = {2014},
 title        = {Precise Parameter Synthesis for Stochastic Biochemical Systems},
 booktitle    = {Computational Methods in Systems Biology - 12th International Conference, {CMSB}},
 pages        = {86--98},
 doi          = {10.1007/978-3-319-12982-2\_7},
)
@inproceedings(Chen2013,
 author       = {T. Chen and E. M. Hahn and T. Han and M. Kwiatkowska and H. Qu and L. Zhang},
 year         = {2013},
 title        = {Model Repair for Markov Decision Processes},
 booktitle    = {Proc. 7th International Symposium on Theoretical Aspects of Software Engineering {(TASE)}},
 publisher    = {IEEE CS Press},
 pages        = {85--92},
 doi          = {10.1109/TASE.2013.20},
)
@incollection(Daws2004,
 author       = {C. Daws},
 year         = {2004},
 title        = {Symbolic and Parametric Model Checking of Discrete-Time Markov Chains},
 booktitle    = {Theoretical Aspects of Computing - ICTAC 2004},
 series       = {Lecture Notes in Computer Science},
 volume       = {3407},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {280--294},
 doi          = {10.1007/978-3-540-31862-0\_21},
)
@inproceedings(Hahn2010,
 author       = {E. M. Hahn and H. Hermanns and B. Wachter and L. Zhang},
 year         = {2010},
 title        = {{PARAM:} {A} Model Checker for Parametric Markov Models},
 booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}},
 pages        = {660--664},
 doi          = {10.1007/978-3-642-14295-6\_56},
)
@article(Hahn2011,
 author       = {E. M. Hahn and H. Hermanns and L. Zhang},
 year         = {2011},
 title        = {Probabilistic reachability for parametric Markov models},
 journal      = {{STTT}},
 volume       = {13},
 number       = {1},
 pages        = {3--19},
 doi          = {10.1007/s10009-010-0146-x},
)
@inproceedings(Han2008,
 author       = {T. Han and J.{-}P. Katoen and A. Mereacre},
 year         = {2008},
 title        = {Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability},
 booktitle    = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}},
 pages        = {173--182},
 doi          = {10.1109/RTSS.2008.19},
)
@article(Katoen2011,
 author       = {J.-P. Katoen and I.S. Zapreev and E.M. Hahn and H. Hermanns and D.N. Jansen},
 year         = {2011},
 title        = {The Ins and Outs of the Probabilistic Model Checker MRMC},
 journal      = {Perform. Eval.},
 volume       = {68},
 number       = {2},
 pages        = {90--104},
 doi          = {10.1016/j.peva.2010.04.001},
)
@inproceedings(Kwiatkowska2011,
 author       = {M. Z. Kwiatkowska and G. Norman and D. Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
 booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV}},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1\_47},
)
@book(Mehlhorn1984,
 author       = {K. Mehlhorn},
 year         = {1984},
 title        = {Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness},
 series       = {{EATCS} Monographs on Theoretical Computer Science},
 volume       = {2},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-69897-2},
)
@inproceedings(Pathak2015,
 author       = {S. Pathak and E. {\'{A}}brah{\'{a}}m and N. Jansen and A. Tacchella and J.-P. Katoen},
 year         = {2015},
 title        = {A Greedy Approach for the Efficient Repair of Stochastic Models},
 booktitle    = {{NASA} Formal Methods - 7th Int. Symposium},
 pages        = {295--309},
 doi          = {10.1007/978-3-319-17524-9\_21},
)
@inproceedings(Bharath2015,
 author       = {B.{-}S.{-}K. Tati and M. Siegle},
 year         = {2015},
 title        = {{Parameter and Controller Synthesis for Markov Chains with Actions and State Labels}},
 booktitle    = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)},
 series       = {OASIcs},
 volume       = {44},
 pages        = {63--76},
 doi          = {10.4230/OASIcs.SynCoP.2015.63},
)