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

J. Abrial, Using Design Patterns in Formal Devlopments -Example: A Mechanical Press Controler Journée scientifique du PPF IAEM Transversal - Développement incrémental et prouvé de systèmes, 2006.

J. B. Abrial, B#: Toward a Synthesis between Z and B, pp.168-177
DOI : 10.1007/3-540-44880-2_12

J. Abrial and D. Cansell, Formal Construction of a Nonblocking Concurrent Queue Algorithm (a Case Study in Atomicity), Journal of Universal Computer Science, vol.11, issue.5, pp.744-770, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000120

J. Abrial, D. Cansell, and D. Méry, Formal Derivation of Spanning Trees Algorithms, pp.457-476
DOI : 10.1007/3-540-44880-2_27
URL : https://hal.archives-ouvertes.fr/inria-00099793

J. Abrial, D. Cansell, and D. Méry, A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol, Formal Aspects of Computing, vol.14, issue.3, pp.215-227, 2003.
DOI : 10.1007/s001650300002
URL : https://hal.archives-ouvertes.fr/inria-00099531

J. Abrial, D. Cansell, and D. Méry, A new IEEE 1394 leader election protocol In Rigorous Methods for Software Construction and Analysis Seminar, 2006.

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

F. Badeau and A. Amelot, Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, Lecture Notes in Computer Science, vol.3455, pp.334-354, 2005.
DOI : 10.1007/11415787_20

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, M??t??or: A Successful Application of B in a Large Project, Proceedings of FM'99: World Congress on Formal Methods, pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL -a tool suite for automatic verification of real-time systems, Hybrid Systems, pp.232-243, 1995.

D. Cansell and D. Méry, Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm, Theoretical Computer Science, vol.364, issue.3, 2006.
DOI : 10.1016/j.tcs.2006.08.015
URL : https://hal.archives-ouvertes.fr/inria-00093164

C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The tool Kronos, Hybrid Systems III: Verification and Control, pp.208-219, 1995.
DOI : 10.1007/BFb0020947

M. Devillers, W. O. David-griffioen, J. Romijn, and F. W. Vaandrager, Verification of a leader election protocol: Formal methods applied to ieee 1394, Formal Methods in System Design, pp.307-320, 2000.

C. J. Fidge and A. J. Wellings, An action-based formal model for concurrent real-time systems, Formal Aspects of Computing, vol.39, issue.9, pp.175-207, 1997.
DOI : 10.1007/BF01211618

E. Gamma, R. Helm, R. E. Johnson, and J. M. Vlissides, Design Patterns: Abstraction and Reuse of Object-Oriented Design, Lecture Notes in Computer Science, vol.707, pp.406-431, 1993.
DOI : 10.1007/3-540-47910-4_21

L. Lamport, Real time is really simple, 2005.

J. Romijn, A timed verification of the ieee 1394 leader election protocol, Formal Methods in System Design, vol.19, issue.2, pp.165-194, 2001.
DOI : 10.1023/A:1011284000753