@article(alur1994,
 author       = "R. Alur and D. L. Dill",
 year         = "1994",
 title        = "A theory of timed automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(aziz1996,
 author       = "A. Aziz and K. Sanwal and V. Singhal and R. Brayton",
 year         = "1996",
 title        = "Verifying continuous time Markov chains",
 journal      = "Computer Aided Verification, LNCS",
 volume       = "1102",
 pages        = "269--276",
 doi          = "10.1007/3-540-61474-5\_75",
)
@article(baier2003,
 author       = "C. Baier and B. Haverkort and H. Hermanns and J. P. Katoen",
 year         = "2003",
 title        = "Model-checking algorithms for continuous-time Markov chains",
 journal      = "IEEE Transactions on software engineering",
 volume       = "29",
 number       = "6",
 pages        = "524--541",
 doi          = "10.1109/TSE.2003.1205180",
)
@incollection(bouyer08,
 author       = "P. Bouyer and N. Markey and J. Ouaknine and J. Worrell",
 year         = "2008",
 title        = "On expressiveness and complexity in real-time model checking",
 booktitle    = "Automata, Languages and Programming",
 series       = "LNCS",
 volume       = "5126",
 pages        = "124--135",
 doi          = "10.1007/978-3-540-70583-3\_11",
)
@article(cohen77,
 author       = "R. S. Cohen and A. Y. Gold",
 year         = "1977",
 title        = "Theory of $\omega $-languages I: characterizations of $\omega $-context-free languages",
 journal      = "Journal of Computer and System Sciences",
 volume       = "15",
 number       = "2",
 pages        = "169--184",
 doi          = "10.1016/S0022-0000(77)80004-4",
)
@incollection(emerson1990,
 author       = "E. A. Emerson",
 year         = "1990",
 title        = "Temporal and modal logic",
 booktitle    = "Handbook of theoretical computer science, volume B: formal models and semantics",
 publisher    = "MIT Press",
 pages        = "995--1072",
)
@article(fox1988,
 author       = "B. L. Fox and P. W. Glynn",
 year         = "1988",
 title        = "Computing Poisson probabilities",
 journal      = "Communications of the ACM",
 volume       = "31",
 number       = "4",
 pages        = "440--445",
 doi          = "10.1145/42404.42409",
)
@article(hansson1994,
 author       = "H. Hansson and B. 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",
)
@article(koymans90,
 author       = "R. Koymans",
 year         = "1990",
 title        = "Specifying real-time properties with metric temporal logic",
 journal      = "Real-Time Systems",
 volume       = "2",
 pages        = "255--299",
 doi          = "10.1007/BF01995674",
)
@incollection(kwiatkowska2007,
 author       = "M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2007",
 title        = "Stochastic model checking",
 booktitle    = "Formal Methods for Performance Evaluation",
 series       = "LNCS",
 volume       = "4486",
 pages        = "220--270",
 doi          = "10.1007/978-3-540-72522-0\_6",
)
@article(wald1945,
 author       = "A. Wald",
 year         = "1945",
 title        = "Sequential tests of statistical hypotheses",
 journal      = "The Annals of Mathematical Statistics",
 volume       = "16",
 number       = "2",
 pages        = "117--186",
 doi          = "10.1214/aoms/1177731118",
)
@article(younes2002,
 author       = "H. Younes and R. Simmons",
 year         = "2002",
 title        = "Probabilistic verification of discrete event systems using acceptance sampling",
 journal      = "Computer Aided Verification, LNCS",
 volume       = "2404",
 pages        = "23--39",
 doi          = "10.1007/3-540-45657-0\_17",
)
@article(younes2006,
 author       = "H. L. S. Younes and M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2006",
 title        = "Numerical vs. statistical probabilistic model checking",
 journal      = "International Journal on Software Tools for Technology Transfer",
 volume       = "8",
 number       = "3",
 pages        = "216--228",
 doi          = "10.1007/s10009-005-0187-8",
)
@article(zhou1991,
 author       = "C. Zhou and C. A. R. Hoare and A. P. Anders P. Ravn",
 year         = "1991",
 title        = "A calculus of durations",
 journal      = "Information Processing Letters",
 volume       = "40",
 number       = "5",
 pages        = "269--276",
 doi          = "10.1016/0020-0190(91)90122-X",
)