M. Abadi and S. Merz, On TLA as a logic Deductive Program Design, NATO ASI series, pp.235-272, 1996.

D. L. Dill, The mur verification system, Conference on Computer-Aided Verification, pp.390-393, 1996.

M. Fisher and R. Owens, An introduction to executable modal and temporal logics, Executable Modal and Temporal Logics, pp.1-20, 1993.
DOI : 10.1007/3-540-58976-7_1

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

L. Lamport, Refinement in state-based formalisms, 1996.

K. L. Mcmillan, Symbolic model checking, 1993.

S. Merz, Efficiently executable temporal logic programs, Executable Modal and Temporal Logics, pp.69-85, 1993.
DOI : 10.1007/3-540-58976-7_5