@incollection(Amagbegnon-LeGuernic-Marchand-et-al-95-b,
 author       = {Toch{\'{e}}ou Pascalin Amagb{\'{e}}gnon and Paul Le Guernic and Herv{\'{e}} Marchand and {\'{E}}ric Rutten},
 year         = {1995},
 title        = {{SIGNAL}},
 editor       = {Lewerentz and Lindner},
 pages        = {113--129},
 doi          = {10.1007/3-540-58867-1_51},
)
@techreport(Amagbegnon-LeGuernic-Marchand-et-al-95-a,
 author       = {Toch{\'{e}}ou Pascalin Amagb{\'{e}}gnon and Paul Le Guernic and Herv{\'{e}} Marchand and {\'{E}}ric Rutten},
 year         = {1995},
 title        = {{The Signal Data Flow Methodology Applied to a Production Cell}},
 type         = {Research Report},
 number       = {2522},
 institution  = {INRIA},
 url          = {http://hal.archives-ouvertes.fr/docs/00/07/41/55/PDF/RR-2522.pdf},
)
@article(Aminuddin-Jifeng-Abdullah-01,
 author       = {Rusdi Md. Aminuddin and He Jifeng and Rosni Abdullah},
 year         = {2001},
 title        = {{Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus}},
 journal      = {Malaysian Journal of Computer Science},
 volume       = {14},
 number       = {2},
 url          = {http://e-journal.um.edu.my/filebank/published_article/1791/105.pdf},
)
@misc(Barbey-Buchs-Pereire-98,
 author       = {St\'{e}phane Barbey and Didier Buchs and C\'{e}cile P\'{e}raire},
 year         = {1998},
 title        = {{A Case Study for Testing Object-Oriented Software: A Production Cell}},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.460&rep=rep1&type=pdf},
)
@article(Berry-Gonthier-92,
 author       = {G\'erard Berry and Georges Gonthier},
 year         = {1992},
 title        = {The Esterel Synchronous Programming Language: Design, Semantics, Implementation},
 journal      = {Science of Computer Programming},
 volume       = {19},
 number       = {2},
 pages        = {87--152},
 doi          = {10.1016/0167-6423(92)90005-V},
)
@phdthesis(Beyer-02,
 author       = {Dirk Beyer},
 year         = {2002},
 title        = {{Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata}},
 school       = {Brandenburgische Technische Universit\"{a}t Cottbus},
 url          = {https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/46},
)
@inproceedings(Beyer-Rust-98,
 author       = {Dirk Beyer and Heinrich Rust},
 year         = {1998},
 title        = {{Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata}},
 editor       = {Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer},
 booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
 publisher    = {Verlag Shaker},
 pages        = {148--159},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.2100&rep=rep1&type=pdf},
)
@article(Boerger-Mearelli-97,
 author       = {Egon B{\"{o}}rger and Luca Mearelli},
 year         = {1997},
 title        = {Integrating ASMs into the Software Development Life Cycle},
 journal      = {J. {UCS}},
 volume       = {3},
 number       = {5},
 pages        = {603--665},
 doi          = {10.3217/jucs-003-05-0603},
)
@inproceedings(Brauer-Lewerentz-Lindner-93,
 author       = {Artur Brauer and Claus Lewerentz and Thomas Lindner},
 year         = {1993},
 title        = {{Implementing a Visualization of an Industrial Production Cell Using Tcl/Tk}},
 booktitle    = {Proceedings of the first Tcl/Tk Workshop (Berkeley, California, USA)},
 url          = {https://www.researchgate.net/publication/228591433_Implementing_a_Visualization_of_an_Industrial_Production_Cell_Using_TclTk},
)
@incollection(Brauer-Lindner-95,
 author       = {Artur Brauer and Thomas Lindner},
 year         = {1995},
 title        = {Simulation},
 editor       = {Lewerentz and Lindner},
 pages        = {383--394},
 doi          = {10.1007/3-540-58867-1_66},
)
@article(Brookes-Hoare-Roscoe-84,
 author       = {S. D. Brookes and C. A. R. Hoare and A. W. Roscoe},
 year         = {1984},
 title        = {{A Theory of Communicating Sequential Processes}},
 journal      = {Journal of the ACM},
 volume       = {31},
 number       = {3},
 pages        = {560--599},
 doi          = {10.1145/828.833},
)
@incollection(Budde-95,
 author       = {Reinhard Budde},
 year         = {1995},
 title        = {{ESTEREL}},
 editor       = {Lewerentz and Lindner},
 pages        = {75--100},
 doi          = {10.1007/3-540-58867-1_49},
)
@incollection(Burghardt-95,
 author       = {Jochen Burghardt},
 year         = {1995},
 title        = {Deductive Synthesis},
 editor       = {Lewerentz and Lindner},
 pages        = {295--309},
 doi          = {10.1007/3-540-58867-1_61},
 url          = {http://arxiv.org/abs/1404.1198},
)
@techreport(Burghardt-96,
 author       = {Jochen Burghardt},
 year         = {1996},
 title        = {{Formale Entwicklung einer Steuerung f\"{u}r eine Fertigungszelle mit SYSYFOS}},
 type         = {Arbeitspapiere der GMD},
 number       = {996},
 institution  = {GMD Berlin},
 url          = {http://arxiv.org/abs/1404.1227},
)
@incollection(CardellOliver-95,
 author       = {Cardell{-}Oliver, Rachel},
 year         = {1995},
 title        = {HTTDs and {HOL}},
 editor       = {Lewerentz and Lindner},
 pages        = {261--276},
 doi          = {10.1007/3-540-58867-1},
)
@techreport(CCITT-Z100,
 author       = {CCITT},
 year         = {1988},
 title        = {{Specification and Description Language}},
 type         = {Recommendation},
 number       = {Z.100},
 institution  = {International Consultative Committee for Telephony and Telegraphy},
 address      = {Geneva},
)
@unpublished(Champelovier-Clerc-Garavel-et-al-10-v6.4,
 author       = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Christine McKinty and Vincent Powazny and Fr\'ed\'eric Lang and Wendelin Serwe and Gideon Smeding},
 year         = {2016},
 title        = {{Reference Manual of the LNT to LOTOS Translator (Version 6.4)}},
 url          = {http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html},
 note         = {{INRIA/VASY} and {INRIA/CONVECS}, 130 pages},
)
@incollection(Cuellar-Huber-95,
 author       = {Jorge Cu{\'{e}}llar and Martin Huber},
 year         = {1995},
 title        = {{TLT}},
 editor       = {Lewerentz and Lindner},
 pages        = {151--169},
 doi          = {10.1007/3-540-58867-1},
)
@incollection(Damm-Hungar-Kelb-et-al-95,
 author       = {Werner Damm and Hardi Hungar and Peter Kelb and Rainer Schl{\"{o}}r},
 year         = {1995},
 title        = {Statecharts},
 editor       = {Lewerentz and Lindner},
 pages        = {131--149},
 doi          = {10.1007/3-540-58867-1},
)
@incollection(Dranidis-Gastinger-95,
 author       = {Dimitris Dranidis and Stefan Gastinger},
 year         = {1995},
 title        = {{SPECTRUM}},
 editor       = {Lewerentz and Lindner},
 pages        = {199--228},
 doi          = {10.1007/3-540-58867-1},
)
@inproceedings(Erasmy-Sekerinksi-94,
 author       = {Fran{\c{c}}ois Erasmy and Emil Sekerinski},
 year         = {1994},
 title        = {Stepwise Refinement of Control Software -- A Case Study Using {RAISE}},
 editor       = {Maurice Naftalin and B. Tim Denvir and Miquel Bertran},
 booktitle    = {Proceedings of the 2nd Second Symposium of Formal Methods Europe (FME'94), Barcelona, Spain},
 series       = {Lecture Notes in Computer Science},
 volume       = {873},
 publisher    = {Springer Verlag},
 pages        = {547--566},
 doi          = {10.1007/3-540-58555-9_115},
)
@incollection(Erasmy-Sekerinski-95,
 author       = {Fran{\c{c}}ois Erasmy and Emil Sekerinski},
 year         = {1995},
 title        = {{RAISE}},
 editor       = {Lewerentz and Lindner},
 pages        = {277--293},
 doi          = {10.1007/3-540-58867-1},
)
@inproceedings(Evrard-16,
 author       = {Hugues Evrard},
 year         = {2016},
 title        = {{DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation}},
 editor       = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
 booktitle    = {Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Eindhoven, The Netherlands},
 series       = {Lecture Notes in Computer Science},
 volume       = {9636},
 publisher    = {Springer Verlag},
 pages        = {553--559},
 doi          = {10.1007/978-3-662-49674-9_34},
 url          = {http://cadp.inria.fr/publications/Evrard-16.html},
)
@inproceedings(Evrard-Lang-13,
 author       = {Hugues Evrard and Fr\'ed\'eric Lang},
 year         = {2013},
 title        = {{Formal Verification of Distributed Branching Multiway Synchronization Protocols}},
 editor       = {Dirk Beyer and Michele Boreale},
 booktitle    = {Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS'13), Florence, Italy},
 series       = {Lecture Notes in Computer Science},
 volume       = {7892},
 publisher    = {Springer Verlag},
 pages        = {146--160},
 doi          = {10.1007/978-3-642-38592-6_11},
 url          = {http://cadp.inria.fr/publications/Evrard-Lang-13.html},
)
@inproceedings(Evrard-Lang-15,
 author       = {Hugues Evrard and Fr\'ed\'eric Lang},
 year         = {2015},
 title        = {{Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes}},
 editor       = {Marco Aldinucci and Masoud Daneshtalab and Ville Lepp\"{a}nen and Johan Lilius},
 booktitle    = {Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing -- Special Session on Formal Approaches to Parallel and Distributed Systems (PDP/4PAD'15), Turku, Finland},
 publisher    = {IEEE Computer Society Press},
 pages        = {459--466},
 url          = {http://cadp.inria.fr/publications/Evrard-Lang-15.html},
)
@unpublished(FDR2-10,
 author       = {{Formal Systems (Europe) Ltd} and {Oxford University Computing Laboratory}},
 year         = {2010},
 title        = {{Failures-Divergence Refinement -- FDR2 User Manual}},
 note         = {{9th edition}},
)
@inproceedings(Fraenzle-96,
 author       = {Martin Fr{\"a}nzle},
 year         = {1996},
 title        = {{Synthesizing controllers from Duration Calculus}},
 editor       = {Bengt Jonsson and Joachim Parrow},
 booktitle    = {Proceedings of the fourth International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), Uppsala, Sweden},
 publisher    = {Springer Verlag},
 pages        = {168--187},
 doi          = {10.1007/3-540-61648-9_40},
)
@incollection(Fuchs-Philipps-95,
 author       = {Max Fuchs and Jan Philipps},
 year         = {1995},
 title        = {Focus},
 editor       = {Lewerentz and Lindner},
 pages        = {185--197},
 doi          = {10.1007/3-540-58867-1},
)
@article(Garavel-15-b,
 author       = {Hubert Garavel},
 year         = {2015},
 title        = {{Revisiting Sequential Composition in Process Calculi}},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 number       = {6},
 pages        = {742--762},
 doi          = {10.1016/j.jlamp.2015.08.001},
 url          = {http://cadp.inria.fr/publications/Garavel-15-b.html},
)
@inproceedings(Garavel-Hermanns-02,
 author       = {Hubert Garavel and Holger Hermanns},
 year         = {2002},
 title        = {On Combining Functional Verification and Performance Evaluation using CADP},
 editor       = {Lars-Henrik Eriksson and Peter A. Lindsay},
 booktitle    = {Proceedings of the 11th International Symposium of Formal Methods Europe FME{'}2002 (Copenhagen, Denmark)},
 series       = {Lecture Notes in Computer Science},
 volume       = {2391},
 publisher    = {Springer Verlag},
 pages        = {410--429},
 doi          = {10.1007/3-540-45614-7_23},
)
@article(Garavel-Lang-Mateescu-15,
 author       = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu},
 year         = {2015},
 title        = {{Compositional Verification of Asynchronous Concurrent Systems Using CADP}},
 journal      = {Acta Informatica},
 volume       = {52},
 number       = {4},
 pages        = {337--392},
 doi          = {10.1007/s00236-015-0226-1},
 url          = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-15.html},
)
@article(Garavel-Lang-Mateescu-Serwe-13,
 author       = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu and Wendelin Serwe},
 year         = {2013},
 title        = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}},
 journal      = {Springer International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {15},
 number       = {2},
 pages        = {89--107},
 doi          = {10.1007/s10009-012-0244-z},
 url          = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html},
)
@inproceedings(Garavel-Sifakis-90,
 author       = {Hubert Garavel and Joseph Sifakis},
 year         = {1990},
 title        = {{Compilation and Verification of LOTOS Specifications}},
 editor       = {L. Logrippo and R. L. Probert and H. Ural},
 booktitle    = {Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification (PSTV'90), Ottawa, Canada},
 publisher    = {North-Holland},
 pages        = {379--394},
 url          = {http://cadp.inria.fr/publications/Garavel-Sifakis-90.html},
)
@inproceedings(Garavel-Sighireanu-99,
 author       = {Hubert Garavel and Mihaela Sighireanu},
 year         = {1999},
 title        = {{A Graphical Parallel Composition Operator for Process Algebras}},
 editor       = {Jianping Wu and Qiang Gao and Samuel T. Chanson},
 booktitle    = {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), Beijing, China},
 publisher    = {Kluwer Academic Publishers},
 pages        = {185--202},
 url          = {http://cadp.inria.fr/publications/Garavel-Sighireanu-99.html},
)
@article(Garavel-Viho-Zendri-01,
 author       = {Hubert Garavel and C\'esar Viho and Massimo Zendri},
 year         = {2001},
 title        = {System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation},
 journal      = {Springer International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {3},
 number       = {3},
 pages        = {314--331},
 doi          = {10.1007/s100090100044},
 url          = {http://cadp.inria.fr/publications/Garavel-Viho-Zendri-00.html},
)
@techreport(Gondal-12,
 author       = {Ali Gondal},
 year         = {2012},
 title        = {{Case Study -- Production Cell}},
 type         = {Monograph},
 institution  = {University of Southampton},
 url          = {http://eprints.soton.ac.uk/id/eprint/342516},
)
@inproceedings(Gondal-Poppleton-Butler-11,
 author       = {Ali Gondal and Michael Poppleton and Michael Butler},
 year         = {2011},
 title        = {{Composing Event-B Specifications -- Case-Study Experience}},
 editor       = {Sven Apel and Ethan Jackson},
 booktitle    = {Proceedings of the 10th International Conference on Software Composition (SC 2011), Zurich, Switzerland},
 publisher    = {Springer Verlag},
 pages        = {100--115},
 doi          = {10.1007/978-3-642-22045-6_7},
)
@book(Groote-Mousavi-14,
 author       = {{Jan Friso} Groote and {Mohammad Reza} Mousavi},
 year         = {2014},
 title        = {{Modeling and Analysis of Communicating Systems}},
 publisher    = {The MIT Press},
)
@techreport(Heiner-Deussen-95,
 author       = {Monika Heiner and Peter Deussen},
 year         = {1995},
 title        = {{Petri Net Based Qualitative Analysis -- a Case Study}},
 type         = {Technical Report},
 number       = {I-08/1995},
 institution  = {Brandenburg University of Technology Cottbus, Department of Computer Science},
 url          = {http://www-dssz.informatik.tu-cottbus.de/publications/btu-reports/btuReport1995_08_production_cell.pdf},
)
@inproceedings(Heiner-Deussen-Spranger-96,
 author       = {Monika Heiner and Peter Deussen and Jochen Spranger},
 year         = {1996},
 title        = {{A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets}},
 booktitle    = {Proceedings of the 1st International Workshop on Manufacturing and Petri Nets, held at ICATPN'96, Osaka, Japan},
 pages        = {177--196},
 url          = {https://pdfs.semanticscholar.org/102a/a35aa028e53713bf08da4b28ea039f35cafc.pdf},
)
@inproceedings(Heiner-Heisel-99,
 author       = {Monika Heiner and Maritta Heisel},
 year         = {1999},
 title        = {{Modeling Safety-Critical Systems with Z and Petri Nets}},
 editor       = {Massimo Felici and Karama Kanoun},
 booktitle    = {Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Toulouse, France},
 publisher    = {Springer Verlag},
 pages        = {361--374},
 doi          = {10.1007/3-540-48249-0_31},
)
@incollection(Heinkel-Lindner-95,
 author       = {Stefan Heinkel and Thomas Lindner},
 year         = {1995},
 title        = {{SDL}},
 editor       = {Lewerentz and Lindner},
 pages        = {171--183},
 doi          = {10.1007/3-540-58867-1},
)
@incollection(Herzig-Vlachantonis-95,
 author       = {Rudolf Herzig and Nikolaos Vlachantonis},
 year         = {1995},
 title        = {{TROLL} light},
 editor       = {Lewerentz and Lindner},
 pages        = {373--381},
 doi          = {10.1007/3-540-58867-1},
)
@article(Hoare-78,
 author       = {C. A. R. Hoare},
 year         = {1978},
 title        = {{Communicating Sequential Processes}},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@book(Hoare-85,
 author       = {C. A. R. Hoare},
 year         = {1985},
 title        = {{Communicating Sequential Processes}},
 publisher    = {Prentice-Hall},
)
@incollection(Holenderski-95,
 author       = {Leszek Holenderski},
 year         = {1995},
 title        = {{LUSTRE}},
 editor       = {Lewerentz and Lindner},
 pages        = {101--112},
 doi          = {10.1007/3-540-58867-1},
)
@article(Holton-95,
 author       = {D. R. W. Holton},
 year         = {1995},
 title        = {{A PEPA Specification of an Industrial Production Cell}},
 journal      = {The Computer Journal},
 volume       = {38},
 number       = {7},
 pages        = {542--551},
 doi          = {10.1093/comjnl/38.7.542},
)
@techreport(ISO-9074,
 author       = {ISO/IEC},
 year         = {1988},
 title        = {ESTELLE -- A Formal Description Technique Based on an Extended State Transition Model},
 type         = {International Standard},
 number       = {9074},
 institution  = {International Organization for Standardization -- Information Processing Systems -- Open Systems Interconnection},
 address      = {Geneva},
)
@techreport(ISO-8807,
 author       = {ISO/IEC},
 year         = {1989},
 title        = {{LOTOS -- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour}},
 type         = {International Standard},
 number       = {8807},
 institution  = {International Organization for Standardization -- Information Processing Systems -- Open Systems Interconnection},
 address      = {Geneva},
)
@techreport(ISO-15437,
 author       = {ISO/IEC},
 year         = {2001},
 title        = {{Enhancements to LOTOS (E-LOTOS)}},
 type         = {International Standard},
 number       = {15437:2001},
 institution  = {International Organization for Standardization -- Information Technology},
 address      = {Geneva},
)
@incollection(Klingenbeck-Kaeufl-95,
 author       = {Stefan Klingenbeck and Thomas K{\"{a}}ufl},
 year         = {1995},
 title        = {Tatzelwurm},
 editor       = {Lewerentz and Lindner},
 pages        = {247--259},
 doi          = {10.1007/3-540-58867-1},
)
@incollection(Korf-Schloer-95,
 author       = {Franz Korf and Rainer Schl{\"{o}}r},
 year         = {1995},
 title        = {Symbolic Timing Diagrams},
 editor       = {Lewerentz and Lindner},
 pages        = {311--331},
 doi          = {10.1007/3-540-58867-1_62},
)
@misc(Lewerentz-Lindner-95-a-introduction,
 author       = {Claus Lewerentz and Thomas Lindner},
 title        = {Comparative Survey},
 note         = {In Lewerentz \& Lindner \cite{Lewerentz-Lindner-95-a}, pp. \write\rebib { pages = "1--6",}, \write\rebib { doi = "10.1007/3-540-58867-1_45",}},
)
@misc(Lewerentz-Lindner-95-a-comparison,
 author       = {Claus Lewerentz and Thomas Lindner},
 title        = {Comparative Survey},
 note         = {In Lewerentz \& Lindner \cite{Lewerentz-Lindner-95-a}, pp. \write\rebib { pages = "21--54",}, \write\rebib { doi = "10.1007/3-540-58867-1_47",}},
)
@incollection(Lewerentz-Lindner-95-b,
 author       = {Claus Lewerentz and Thomas Lindner},
 year         = {1995},
 title        = {{Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification}},
 editor       = {Manfred Broy and Stefan J{\"{a}}hnichen},
 booktitle    = {{KORSO: Methods, Languages, and Tools for the Construction of Correct Software}},
 series       = {Lecture Notes in Computer Science},
 volume       = {1009},
 publisher    = {Springer Verlag},
 pages        = {388--416},
 doi          = {10.1007/BFb0015473},
)
@book(Lewerentz-Lindner-95-a,
 editor       = {Claus Lewerentz and Thomas Lindner},
 year         = {1995},
 title        = {{Formal Development of Reactive Systems -- Case Study Production Cell}},
 series       = {Lecture Notes in Computer Science},
 volume       = {891},
 publisher    = {Springer Verlag},
 doi          = {10.1007/3-540-58867-1},
)
@inproceedings(Lilius-Paltor-00,
 author       = {Johan Lilius and Ivan Paltor},
 year         = {2000},
 title        = {{The Production Cell: An Exercise in the Formal Verification of a {UML} Model}},
 booktitle    = {Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, {USA}},
 doi          = {10.1109/HICSS.2000.926969},
)
@incollection(Lindner-95,
 author       = {Thomas Lindner},
 year         = {1995},
 title        = {Task Description},
 editor       = {Lewerentz and Lindner},
 pages        = {7--19},
 doi          = {10.1007/3-540-58867-1_46},
)
@inproceedings(Melcher-Winkelmann-98,
 author       = {Helmut Melcher and Klaus Winkelmann},
 year         = {1998},
 title        = {{Controller Synthesis for the ``Production Cell'' Case Study}},
 booktitle    = {Proceedings of the Second Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA},
 publisher    = {ACM},
 pages        = {24--33},
 doi          = {10.1145/298595.298601},
)
@book(Milner-80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {{A Calculus of Communicating Systems}},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer Verlag},
 doi          = {10.1007/3-540-10235-3_7},
)
@incollection(Noekel-Winkelmann-95,
 author       = {Klaus N{\"{o}}kel and Klaus Winkelmann},
 year         = {1995},
 title        = {{CSL}},
 editor       = {Lewerentz and Lindner},
 pages        = {55--74},
 doi          = {10.1007/3-540-58867-1},
)
@book(PotopButucaru-Edwards-Berry-07,
 author       = {Potop{-}Butucaru, Dumitru and Stephen A. Edwards and G{\'{e}}rard Berry},
 year         = {2007},
 title        = {{Compiling Esterel}},
 publisher    = {Springer},
)
@inproceedings(Rischel-Sun-97,
 author       = {Hans Rischel and Hongyan Sun},
 year         = {1997},
 title        = {{Design and Prototyping of Real-Time Systems Using CSP and CML}},
 booktitle    = {Proceedings of the 9th Euromicro Workshop on Real-Time Systems},
 publisher    = {IEEE Computer Society Press},
 pages        = {121--127},
 doi          = {10.1109/EMWRTS.1997.613772},
)
@book(Roscoe-Hoare-Bird-97,
 author       = {A. W. Roscoe and {C. A. R.} Hoare and Richard Bird},
 year         = {1997},
 title        = {{The Theory and Practice of Concurrency}},
 publisher    = {Prentice Hall},
)
@incollection(Rueping-Sekerinski-95,
 author       = {Andreas R{\"{u}}ping and Emil Sekerinski},
 year         = {1995},
 title        = {Modula-3},
 editor       = {Lewerentz and Lindner},
 pages        = {357--371},
 doi          = {10.1007/3-540-58867-1_64},
)
@techreport(Rust-99,
 author       = {Heinrich Rust},
 year         = {1999},
 title        = {{Modelling a Production Cell Component as a Hybrid Automaton: A Case Study}},
 type         = {Technical Report},
 number       = {I-06/1999},
 institution  = {Computer Science Department, Brandenburg Technical University, Cottbus, Germany},
)
@incollection(Schellhorn-Burandt-95,
 author       = {Gerhard Schellhorn and Axel Burandt},
 year         = {1995},
 title        = {{KIV}},
 editor       = {Lewerentz and Lindner},
 pages        = {229--245},
 doi          = {10.1007/3-540-58867-1},
)
@inproceedings(Vissers-Scollo-vanSinderen-88,
 author       = {C. Vissers and G. Scollo and {M. van} Sinderen},
 year         = {1988},
 title        = {{Architecture and Specification Style in Formal Descriptions of Distributed Systems}},
 editor       = {S. Aggarwal and K. Sabnani},
 booktitle    = {Proceedings of the 8th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV'88), Atlantic City, NJ, USA},
 publisher    = {North-Holland},
 pages        = {189--204},
 doi          = {10.1016/0304-3975(90)90111-T},
)
@article(Vissers-Scollo-vanSinderen-Brinksma-91,
 author       = {C. Vissers and G. Scollo and {M. van} Sinderen and E. Brinksma},
 year         = {1991},
 title        = {{Specification Styles in Distributed Systems Design and Verification}},
 journal      = {Theoretical Computer Science},
 volume       = {89},
 number       = {1},
 pages        = {179--206},
)
@incollection(Wieringa-95,
 author       = {Roel Wieringa},
 year         = {1995},
 title        = {{LCM} and {MCM}},
 editor       = {Lewerentz and Lindner},
 pages        = {333--355},
 doi          = {10.1007/3-540-58867-1},
)
@article(Xu-Randell-Romanovsky-et-al-02,
 author       = {Jie Xu and Brian Randell and Alexander B. Romanovsky and Robert J. Stroud and Avelino F. Zorzo and Ercument Canver and Friedrich W. von Henke},
 year         = {2002},
 title        = {{Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions}},
 journal      = {{IEEE} Trans. Computers},
 volume       = {51},
 number       = {2},
 pages        = {164--179},
 doi          = {10.1109/12.980006},
)
@article(Zorzo-Romanovsky-Xu-et-al-99,
 author       = {Avelino F. Zorzo and Alexander Romanovsky and Jiudong Xu and Brian Randell and R. J. Stroud and I. S. Welch},
 year         = {1999},
 title        = {{Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study}},
 journal      = {Software: Practice and Experience},
 volume       = {29},
 number       = {8},
 pages        = {677--697},
 doi          = {10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z},
)