References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org