The specification language TLA + . Logics of Specification Languages, pp.401-448, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00338330
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
TLA + case study: A resource allocator, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00107809
Formal verification of concurrent scheduling strategies using TLA, 2007 International Conference on Parallel and Distributed Systems, pp.1-6, 2007. ,
DOI : 10.1109/ICPADS.2007.4447839
Modeling time in computing, ACM Computing Surveys, vol.42, issue.2 ,
DOI : 10.1145/1667062.1667063
Fundamentals of Software Engineering, 2000. ,
An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1543-1571, 1994. ,
DOI : 10.1145/186025.186058
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976. ,
DOI : 10.1109/TCOM.1976.1093424
A method for verifying real-time properties of Ada programs, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems, pp.35-47, 2001. ,
DOI : 10.1109/ICECCS.2001.930162
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol, Electronic Notes in Theoretical Computer Science, vol.240, pp.221-238, 2009. ,
DOI : 10.1016/j.entcs.2009.05.054
Specifying Systems, 2002. ,