P. L. Tochéou-pascalin-amagbégnon, H. Guernic, &. Marchand, and . Rutten, The Signal Data Flow Methodology Applied to a Production Cell, Research Report, vol.2522, 1995.

S. Barbey and D. Buchs-&-cécile-péraire, A Case Study for Testing Object-Oriented Software: A Production Cell, 1998.

G. Berry and &. Georges-gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-15210, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

D. Beyer, Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata Available at https, 2002.

D. Beyer and &. Heinrich-rust, Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5, pp.148-159, 1998.

E. Börger and &. Mearelli, Integrating ASMs into the Software Development Life Cycle, J. UCS, vol.3, issue.5, pp.603-665, 1997.

A. Brauer, C. Lewerentz, and &. Thomas-lindner, Implementing a Visualization of an Industrial Production Cell Using Tcl/Tk Available at https, Proceedings of the first Tcl/Tk Workshop, 1993.

A. Brauer and &. Thomas-lindner, Simulation, pp.383-394, 1995.
DOI : 10.1007/3-540-58867-1_66
URL : https://hal.archives-ouvertes.fr/tel-01219748

S. D. Brookes, C. A. Hoare, and &. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

G. Berlin, Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS, Jochen Burghardt, 1996.

R. Cardell-oliver, HTTDs and HOL, pp.261-27610, 1995.
DOI : 10.1007/3-540-58867-1_59

F. Erasmy and &. Sekerinski, Stepwise refinement of control software ??? A case study using RAISE, Proceedings of the 2nd Second Symposium of Formal Methods Europe (FME'94), pp.547-566, 1994.
DOI : 10.1007/3-540-58555-9_115

H. Evrard, DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.553-559, 2016.
DOI : 10.1007/978-3-662-49674-9_34
URL : https://hal.archives-ouvertes.fr/hal-01250925

H. Evrard and &. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems, pp.146-160, 2013.
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788

H. Evrard and &. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.459-466, 2015.
DOI : 10.1109/PDP.2015.96
URL : https://hal.archives-ouvertes.fr/hal-01086522

M. Fränzle, Synthesizing controllers from Duration Calculus, Proceedings of the fourth International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pp.168-18710, 1996.
DOI : 10.1007/3-540-61648-9_40

M. Fuchs and &. , Focus, pp.185-19710, 1995.
DOI : 10.1007/3-540-58867-1_55
URL : https://hal.archives-ouvertes.fr/hal-01500733

H. Garavel, Revisiting sequential composition in process calculi, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.6, pp.742-762, 2015.
DOI : 10.1016/j.jlamp.2015.08.001
URL : https://hal.archives-ouvertes.fr/hal-01247770

H. Garavel and &. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, Proceedings of the 11th International Symposium of Formal Methods Europe FME'2002, pp.410-42910, 2002.
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096

H. Garavel, F. Lang, and &. Mateescu, Compositional verification of asynchronous concurrent systems using CADP, Acta Informatica, vol.56, issue.1/2, pp.337-392, 2015.
DOI : 10.1007/s00236-015-0226-1
URL : https://hal.archives-ouvertes.fr/hal-01247507

H. Garavel and F. Lang, CADP 2011: a toolbox for the construction and analysis of distributed processes, inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and &. Sifakis, Compilation and Verification of LOTOS Specifications, Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification (PSTV'90), pp.379-394, 1990.

H. Garavel and &. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), pp.185-202, 1999.
DOI : 10.1007/978-0-387-35578-8_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4987

H. Garavel, C. Viho, and &. Zendri, System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

A. Gondal, M. Poppleton, and &. Butler, Composing Event-B Specifications - Case-Study Experience, Proceedings of the 10th International Conference on Software Composition, pp.100-11510, 2011.
DOI : 10.1007/978-3-642-11811-1_42
URL : http://eprints.soton.ac.uk/271988/3/ICSCpaper.pdf

J. Friso-groote, &. Mohammad, and R. Mousavi, Modeling and Analysis of Communicating Systems, 2014.

M. Heiner and &. Peter-deussen, Petri Net Based Qualitative Analysis ? a Case Study, 1995.

M. Heiner, P. Deussen, and &. Spranger, A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets Available at https, Proceedings of the 1st International Workshop on Manufacturing and Petri Nets, held at ICATPN'96, pp.177-196, 1996.

M. Heiner and &. Heisel, Modeling Safety-Critical Systems with Z and Petri Nets, Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), pp.361-37410, 1999.
DOI : 10.1007/3-540-48249-0_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4031

R. Herzig and &. Vlachantonis, TROLL light, pp.373-38110, 1995.
DOI : 10.1007/3-540-58867-1_65

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6772

D. R. Holton, A PEPA Specification of an Industrial Production Cell, The Computer Journal, vol.38, issue.7, pp.542-551, 1995.
DOI : 10.1093/comjnl/38.7.542

I. Iec, ESTELLE ? A Formal Description Technique Based on an Extended State Transition Model, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1988.

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437:2001, International Organization for Standardization ? Information Technology, 2001.

F. Korf and &. Schlör, Symbolic Timing Diagrams, pp.311-33110, 1995.
DOI : 10.1007/3-540-58867-1_62

C. Lewerentz and &. Thomas-lindner, Comparative survey, Lewerentz & Lindner, pp.1-6
DOI : 10.1007/3-540-58867-1_47

C. Lewerentz and &. Thomas-lindner, Comparative survey, Lewerentz & Lindner, pp.21-5410
DOI : 10.1007/3-540-58867-1_47

C. Lewerentz and &. Thomas-lindner, Case study ???production cell???: A comparative study in formal specification and verification, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, pp.388-41610, 1007.
DOI : 10.1007/BFb0015473

J. Lilius and &. Ivan-paltor, The Production Cell: an exercise in the formal verification of a UML model, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, pp.10-1109, 2000.
DOI : 10.1109/HICSS.2000.926969

T. Lindner, Task description, Lewerentz & Lindner, pp.7-1910, 1995.
DOI : 10.1007/3-540-58867-1_46

H. Melcher and &. Winkelmann, Controller synthesis for the ???production cell??? case study, Proceedings of the second workshop on Formal methods in software practice , FMSP '98, pp.24-33, 1998.
DOI : 10.1145/298595.298601

R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

D. Potop-butucaru, S. A. Edwards, and &. Berry, Compiling Esterel, 2007.

H. Rischel and &. Sun, Design and prototyping of real-time systems using CSP and CML, Proceedings Ninth Euromicro Workshop on Real Time Systems, pp.121-12710, 1997.
DOI : 10.1109/EMWRTS.1997.613772

A. W. Roscoe, C. A. Hoare, and R. Bird, The Theory and Practice of Concurrency, 1997.

A. Rüping and &. Sekerinski, Modula-3, pp.357-371, 1995.
DOI : 10.1007/3-540-58867-1_64

H. Rust, Modelling a Production Cell Component as a Hybrid Automaton: A Case Study, 1999.

C. Vissers, G. Scollo, and &. M. Van-sinderen, Architecture and Specification Style in Formal Descriptions of Distributed Systems, Proceedings of the 8th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV'88), pp.189-20410, 1988.

C. Vissers, G. Scollo, M. Van-sinderen, and &. E. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science, vol.89, issue.1, pp.179-206, 1991.
DOI : 10.1016/0304-3975(90)90111-T
URL : http://doi.org/10.1016/0304-3975(90)90111-t

R. Wieringa, LCM and MCM, pp.333-35510, 1995.
DOI : 10.1007/3-540-58867-1_63

J. Xu, B. Randell, A. B. Romanovsky, R. J. Stroud, A. F. Zorzo et al., Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions, IEEE Transactions on Computers, vol.51, issue.2, pp.164-17910, 2002.
DOI : 10.1109/12.980006

F. Avelino, A. Zorzo, J. Romanovsky, B. Xu, R. J. Randell et al., Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study, 8<677:: AID-SPE251>3.0.CO, pp.677-6971097, 1999.