6Hart S,Sharir M. Probabilistic Propositional Temporal Logics[J]. Information and Control, 1986, 70(2-3):97-155.
7Hansson H,Jonsson B. A Logic for Reasoning About Time and Reliability[J]. Formal Aspects of Computing, 1994, 6 (5) :512-535.
8Hansson H. Time and Probability in Formal Design of Distributed Systems[M]. Elsevier Science Inc,1994.
9Baier C,Katoen J P. Principles of Model Checking[M]. The MIT Press, 2007.
10Clarke E, Emerson E, Sistla A. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logics[J].ACM Transactions on Programming Languages and Systems, 1986, 8(2):244-263.
