1. Kleppe, A., Warmer, J., and Bast, W.: ‘MDA explained – the model driven architecture: practice and promise’, (Addison-Wesley 2003)
2. Booch, G., Rumbaugh, J., and Jacobson, I.: ‘UML – user's guide’, (Addison-Wesley 2005)
3. Lightweight analysis of access control models with description logic
4. Grumberg, O., and Peled, D.A.: ‘Model checking’, (The MIT Press 1999)