1. Abou El Kalam, A., Baida, R. E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi`ege, A., Saurel, C. and Trouessin, G. (2003), Organization Based Access Control, in 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy’03) (Lake Come, Italy),
2. Alur, R. and Dill, D. L. (1994), A theory of timed automata, Theoretical Computer Science 126, 2, pp. 183–235, URL citeseer.ist.psu.edu/alur94theory.html.
3. Annichini, A., Bouajjani, A. and Sighireanu, M. (2001), TReX: A Tool for Reachability Analysis of Complex Systems, in G. Berry, H. Comon and A. Finkel (eds.), CAV, Lecture Notes in Computer Science, Vol. 2102 (Springer), ISBN 3-540-42345-1, pp. 368–372.
4. Bozga, M., Fernandez, J.-C., Ghirvu, L., Graf, S., Krimm, J.-P., Mounier, L. and Sifakis, J. (1999), IF: An Intermediate Representation for SDL and its Applications, in SDL Forum, pp. 423–440.
5. Bozga, M., Graf, S. and Mounier, L. (2002), IF-2.0: A Validation Environment for Component- Based Real-Time Systems, in CAV, pp. 343–348.