On TLA as a logic Deductive Program Design, NATO ASI series, pp.235-272, 1996. ,
The mur verification system, Conference on Computer-Aided Verification, pp.390-393, 1996. ,
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
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
Refinement in state-based formalisms, 1996. ,
Symbolic model checking, 1993. ,
Efficiently executable temporal logic programs, Executable Modal and Temporal Logics, pp.69-85, 1993. ,
DOI : 10.1007/3-540-58976-7_5