E. M. Clarke, Model Checking, 1999.

M. Jackson, Requirements & Specifications, 1995.

M. Jackson, The Role of Formalism in Method, Proc. FM'99 pages 56, 1999.
DOI : 10.1007/3-540-48119-2_5

Y. Kesten and A. Pnueli, Verification by Augmented Finitary Abstraction, Information and Computation, vol.163, issue.1, pp.203-243, 2000.
DOI : 10.1006/inco.2000.3000
URL : http://doi.org/10.1006/inco.2000.3000

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853