R. Alur
D. L. Dill
1994
A theory of timed automata
Theoretical Computer Science
126
2
183–235
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
269–276
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
524–541
10.1109/TSE.2003.1205180
P. Bouyer
N. Markey
J. Ouaknine
J. Worrell
2008
On expressiveness and complexity in real-time model checking
Automata, Languages and Programming
LNCS
5126
124–135
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
169–184
10.1016/S0022-0000(77)80004-4
E. A. Emerson
1990
Temporal and modal logic
Handbook of theoretical computer science, volume B: formal models and semantics
MIT Press
995–1072
B. L. Fox
P. W. Glynn
1988
Computing Poisson probabilities
Communications of the ACM
31
4
440–445
10.1145/42404.42409
H. Hansson
B. Jonsson
1994
A logic for reasoning about time and reliability
Formal Aspects of Computing
6
5
512–535
10.1007/BF01211866
R. Koymans
1990
Specifying real-time properties with metric temporal logic
Real-Time Systems
2
255–299
10.1007/BF01995674
M. Kwiatkowska
G. Norman
D. Parker
2007
Stochastic model checking
Formal Methods for Performance Evaluation
LNCS
4486
220–270
10.1007/978-3-540-72522-0_6
A. Wald
1945
Sequential tests of statistical hypotheses
The Annals of Mathematical Statistics
16
2
117–186
10.1214/aoms/1177731118
H. Younes
R. Simmons
2002
Probabilistic verification of discrete event systems using acceptance sampling
Computer Aided Verification, LNCS
2404
23–39
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
216–228
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
269–276
10.1016/0020-0190(91)90122-X