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

Comments and questions to:
For website issues: