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.
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.
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.
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.
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.
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.
B. L. Fox & P. W. Glynn (1988):
Computing Poisson probabilities.
Communications of the ACM 31(4),
pp. 440–445,
doi:10.1145/42404.42409.
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.
R. Koymans (1990):
Specifying real-time properties with metric temporal logic.
Real-Time Systems 2,
pp. 255–299,
doi:10.1007/BF01995674.
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.
A. Wald (1945):
Sequential tests of statistical hypotheses.
The Annals of Mathematical Statistics 16(2),
pp. 117–186,
doi:10.1214/aoms/1177731118.
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.
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.
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.