@book(BaKa08,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
)
@article(Bareiss72,
 author       = {Erwin H. Bareiss},
 year         = {1972},
 title        = {Computational Solutions of Matrix Problems over an Integral Domain},
 journal      = {IMA Journal of Applied Mathematics},
 volume       = {10},
 number       = {1},
 pages        = {68--104},
 doi          = {10.1093/imamat/10.1.68},
)
@book(BaPoRo08,
 author       = {Saugata Basu and Richard Pollack and Marie-Fran\IeC{\c c}oise Roy},
 year         = {2008},
 title        = {Algorithms in Real Algebraic Geometry},
 publisher    = {Springer},
)
@article(BeKoRe86,
 author       = {Ben-Or, Michael and Dexter Kozen and John Reif},
 year         = {1986},
 title        = {The Complexity of Elementary Algebra and Geometry},
 journal      = {Journal of Computer and System Sciences},
 volume       = {32},
 number       = {2},
 pages        = {251--264},
 doi          = {10.1016/0022-0000(86)90029-2},
)
@inproceedings(BLW-TACAS13,
 author       = {Michael Benedikt and Rastislav Lenhardt and James Worrell},
 year         = {2013},
 title        = {{LTL} Model Checking of Interval {Markov} Chains},
 booktitle    = {19th Int.~Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 series       = {LNCS},
 volume       = {7795},
 publisher    = {Springer},
 pages        = {32--46},
 doi          = {10.1007/978-3-642-36742-7_3},
)
@inproceedings(ChatSenHen08,
 author       = {Krishnendu Chatterjee and Koushik Sen and Thomas A. Henzinger},
 year         = {2008},
 title        = {Model-Checking omega-Regular Properties of Interval {Markov} Chains},
 booktitle    = {11th Int.~Conference on Foundations of Software Science and Computational Structures (FoSSaCS)},
 series       = {LNCS},
 volume       = {4962},
 publisher    = {Springer},
 pages        = {302--317},
 doi          = {10.1007/978-3-540-78499-9_22},
)
@inproceedings(CBGK08,
 author       = {Frank Ciesinski and Christel Baier and Gr{\"o}{\ss}er, Marcus and Joachim Klein},
 year         = {2008},
 title        = {Reduction Techniques for Model Checking {M}arkov Decision Processes},
 booktitle    = {5th Int.~Conference on Quantitative Evaluation of Systems (QEST)},
 publisher    = {{IEEE}},
 pages        = {45--54},
 doi          = {10.1109/QEST.2008.45},
)
@inproceedings(Daws05,
 author       = {Conrado Daws},
 year         = {2005},
 title        = {Symbolic and Parametric Model Checking of Discrete-Time {Markov} Chains},
 booktitle    = {1st Int.~Colloquium on Theoretical Aspects of Computing (ICTAC)},
 series       = {LNCS},
 volume       = {3407},
 publisher    = {Springer},
 pages        = {280--294},
 doi          = {10.1007/978-3-540-31862-0_21},
)
@inproceedings(DJJCVBKA-CAV15,
 author       = {Christian Dehnert and Sebastian Junges and Nils Jansen and Florian Corzilius and Matthias Volk and Harold Bruintjes and Joost{-}Pieter Katoen and Erika {\'{A}}brah{\'{a}}m},
 year         = {2015},
 title        = {{PROPhESY:} {A} PRObabilistic ParamEter SYnthesis Tool},
 booktitle    = {27th Int.~Conference on Computer Aided Verification (CAV)},
 series       = {LNCS},
 volume       = {9206},
 publisher    = {Springer},
 pages        = {214--231},
 doi          = {10.1007/978-3-319-21690-4_13},
)
@inproceedings(DJKV-CAV17,
 author       = {Christian Dehnert and Sebastian Junges and Joost{-}Pieter Katoen and Matthias Volk},
 year         = {2017},
 title        = {A {Storm} is Coming: A Modern Probabilistic Model Checker},
 booktitle    = {29th Int.~Conference on Computer Aided Verification (CAV)},
 series       = {LNCS},
 volume       = {10427},
 publisher    = {Springer},
 pages        = {592--600},
 doi          = {10.1007/978-3-319-63390-9_31},
)
@inproceedings(FilieriGT11,
 author       = {Antonio Filieri and Carlo Ghezzi and Giordano Tamburrelli},
 year         = {2011},
 title        = {Run-time efficient probabilistic model checking},
 booktitle    = {33rd Int. Conference on Software Engineering (ICSE)},
 publisher    = {{ACM}},
 pages        = {341--350},
 doi          = {10.1145/1985793.1985840},
)
@book(GeCzLa93,
 author       = {Keith O. Geddes and Stephen R. Czapor and George Labahn},
 year         = {1993},
 title        = {Algorithms for Computer Algebra},
 publisher    = {Kluwer},
)
@inproceedings(PARAM-HHWZ10,
 author       = {Ernst Moritz Hahn and Holger Hermanns and Bj{\"{o}}rn Wachter and Lijun Zhang},
 year         = {2010},
 title        = {{PARAM:} {A} Model Checker for Parametric {Markov} Models},
 booktitle    = {22nd Int.~Conference on Computer Aided Verification (CAV)},
 series       = {LNCS},
 volume       = {6174},
 publisher    = {Springer},
 pages        = {660--664},
 doi          = {10.1007/978-3-642-14295-6_56},
)
@article(HHZ-STTT11,
 author       = {Ernst Moritz Hahn and Holger Hermanns and Lijun Zhang},
 year         = {2011},
 title        = {Probabilistic reachability for parametric {Markov} models},
 journal      = {Int.~Journal on Software Tools for Technology Transfer},
 volume       = {13},
 number       = {1},
 pages        = {3--19},
 doi          = {10.1007/s10009-010-0146-x},
)
@article(HaJo94,
 author       = {Hans Hansson and Bengt Jonsson},
 year         = {1994},
 title        = {A logic for reasoning about time and reliability},
 journal      = {Formal Aspects of Computing},
 volume       = {6},
 number       = {5},
 pages        = {512--535},
 doi          = {10.1007/bf01211866},
)
@misc(GandALF-extended,
 author       = {Lisa Hutschenreiter and Christel Baier and Joachim Klein},
 year         = {2017},
 title        = {Parametric {Markov} Chains: {PCTL} Complexity and Fraction-free {Gaussian} Elimination (extended version)},
 url          = {http://wwwtcs.inf.tu-dresden.de/ALGI/PUB/GandALF17/},
)
@inproceedings(JansenCVWAKB14,
 author       = {Nils Jansen and Florian Corzilius and Matthias Volk and Ralf Wimmer and Erika {\'{A}}brah{\'{a}}m and Joost{-}Pieter Katoen and Bernd Becker},
 year         = {2014},
 title        = {Accelerating Parametric Probabilistic Verification},
 booktitle    = {11th Conference on Quantitative Evaluation of Systems (QEST)},
 series       = {LNCS},
 volume       = {8657},
 publisher    = {Springer},
 pages        = {404--420},
 doi          = {10.1007/978-3-319-10696-0_31},
)
@inproceedings(JonLar91,
 author       = {Bengt Jonsson and Kim Guldstrand Larsen},
 year         = {1991},
 title        = {Specification and Refinement of Probabilistic Processes},
 booktitle    = {6th Annual Symposium on Logic in Computer Science (LICS)},
 publisher    = {{IEEE}},
 pages        = {266--277},
 doi          = {10.1109/LICS.1991.151651},
)
@article(Kannan85,
 author       = {Ravindran Kannan},
 year         = {1985},
 title        = {Solving Systems of Linear Equations over Polynomials},
 journal      = {Theoretical Computer Science},
 volume       = {39},
 pages        = {69--88},
 doi          = {10.1016/0304-3975(85)90131-8},
)
@book(Ku95,
 author       = {Vidyadhar G. Kulkarni},
 year         = {1995},
 title        = {Modeling and analysis of stochastic systems},
 publisher    = {Chapman \& Hall},
)
@inproceedings(KwiatkowskaNP11,
 author       = {Marta Z. Kwiatkowska and Gethin Norman and David Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
 booktitle    = {23rd Int. Conference on Computer Aided Verification (CAV)},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1_47},
)
@article(LanMagSchTroina07,
 author       = {Ruggero Lanotte and Maggiolo{-}Schettini, Andrea and Angelo Troina},
 year         = {2007},
 title        = {Parametric probabilistic transition systems for system design and analysis},
 journal      = {Formal Aspects of Computing},
 volume       = {19},
 number       = {1},
 pages        = {93--109},
 doi          = {10.1007/s00165-006-0015-2},
)
@article(McClellan73,
 author       = {Michael T. McClellan},
 year         = {1973},
 title        = {The exact solution of systems of linear equations with polynomial coefficients},
 journal      = {Journal of the Association for Computing Machinery},
 volume       = {20},
 number       = {4},
 pages        = {563--588},
 doi          = {10.1145/321784.321787},
)
@article(NakTurWil97,
 author       = {George Nakos and Peter R. Turner and Robert M. Williams},
 year         = {1997},
 title        = {Fraction-free algorithms for linear and polynomial equations},
 journal      = {{ACM} {SIGSAM} Bulletin},
 volume       = {31},
 number       = {3},
 pages        = {11--19},
 doi          = {10.1145/271130.271133},
)
@inproceedings(QuatmannD0JK16,
 author       = {Tim Quatmann and Christian Dehnert and Nils Jansen and Sebastian Junges and Joost{-}Pieter Katoen},
 year         = {2016},
 title        = {Parameter Synthesis for {Markov} Models: Faster Than Ever},
 booktitle    = {14th Int.~Symposium on Automated Technology for Verification and Analysis (ATVA)},
 series       = {LNCS},
 volume       = {9938},
 publisher    = {Springer},
 pages        = {50--67},
 doi          = {10.1007/978-3-319-46520-3_4},
)
@inproceedings(SeViAg06,
 author       = {Koushik Sen and Mahesh Viswanathan and Gul Agha},
 year         = {2006},
 title        = {Model-Checking {Markov} Chains in the Presence of Uncertainties},
 booktitle    = {12th Int.~Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 series       = {LNCS},
 volume       = {3920},
 publisher    = {Springer},
 pages        = {394--410},
 doi          = {10.1007/11691372_26},
)
@article(Sit92,
 author       = {William Y. Sit},
 year         = {1992},
 title        = {An Algorithm for Solving Parametric Linear Systems},
 journal      = {Journal of Symbolic Computation},
 volume       = {13},
 number       = {4},
 pages        = {353--394},
 doi          = {10.1016/S0747-7171(08)80104-6},
)