S. Merz, The specification language TLA + . Logics of Specification Languages, pp.401-448, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338330

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

S. Merz, TLA + case study: A resource allocator, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00107809

G. Grov, G. Michaelson, and A. Ireland, 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

C. A. Furia, D. Mandrioli, A. Morzenti, and M. Rossi, Modeling time in computing, ACM Computing Surveys, vol.42, issue.2
DOI : 10.1145/1667062.1667063

C. Ghezzi, M. Jazayeri, and D. Mandrioli, Fundamentals of Software Engineering, 2000.

M. Abadi and L. Lamport, 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

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

P. Merlin and D. Farber, 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

T. Gerdsmeier and R. Cardell-oliver, 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

P. Regnier, G. Lima, and A. Andrade, 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

L. Lamport, Specifying Systems, 2002.