1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;SS Bauer,2012
3. Lecture Notes in Computer Science;N Beneš,2011
4. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Boston (1986)
5. Bruns, G.: An industrial application of modal process logic. Sci. Comput. Program. 29(1–2), 3–22 (1997)