1. Adya, A.: Weak consistency: a generalized theory and optimistic implementations for distributed transactions. Ph.D. thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and $$\ldots $$ (1999)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
3. Anderson, A., et al.: extensible access control markup language (XACML) version 1.0. OASIS (2003)
4. Behrmann, G., et al.: UPPAAL 4.0 (2006)
5. Bernstein, P.A., Goodman, N.: Concurrency control in distributed database systems. ACM Comput. Surv. (CSUR) 13(2), 185–221 (1981)