Tochéou Pascalin Amagbégnon
Paul Le Guernic
Hervé Marchand
Éric Rutten
1995
SIGNAL
Lewerentz
Lindner
113–129
10.1007/3-540-58867-1_51
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
http://hal.archives-ouvertes.fr/docs/00/07/41/55/PDF/RR-2522.pdf
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
http://e-journal.um.edu.my/filebank/published_article/1791/105.pdf
Stéphane Barbey
Didier Buchs
Cécile Péraire
1998
A Case Study for Testing Object-Oriented Software: A Production Cell
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.460&rep=rep1&type=pdf
Gérard Berry
Georges Gonthier
1992
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Science of Computer Programming
19
2
87–152
10.1016/0167-6423(92)90005-V
Dirk Beyer
2002
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Brandenburgische Technische Universität Cottbus
https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/46
Dirk Beyer
Heinrich Rust
1998
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
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
148–159
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.2100&rep=rep1&type=pdf
Egon Börger
Luca Mearelli
1997
Integrating ASMs into the Software Development Life Cycle
J. UCS
3
5
603–665
10.3217/jucs-003-05-0603
Artur Brauer
Claus Lewerentz
Thomas Lindner
1993
Implementing a Visualization of an Industrial Production Cell Using Tcl/Tk
Proceedings of the first Tcl/Tk Workshop (Berkeley, California, USA)
https://www.researchgate.net/publication/228591433_Implementing_a_Visualization_of_an_Industrial_Production_Cell_Using_TclTk
Artur Brauer
Thomas Lindner
1995
Simulation
Lewerentz
Lindner
383–394
10.1007/3-540-58867-1_66
S. D. Brookes
C. A. R. Hoare
A. W. Roscoe
1984
A Theory of Communicating Sequential Processes
Journal of the ACM
31
3
560–599
10.1145/828.833
Reinhard Budde
1995
ESTEREL
Lewerentz
Lindner
75–100
10.1007/3-540-58867-1_49
Jochen Burghardt
1995
Deductive Synthesis
Lewerentz
Lindner
295–309
10.1007/3-540-58867-1_61
http://arxiv.org/abs/1404.1198
Jochen Burghardt
1996
Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Arbeitspapiere der GMD
996
GMD Berlin
http://arxiv.org/abs/1404.1227
Rachel Cardell-Oliver
1995
HTTDs and HOL
Lewerentz
Lindner
261–276
10.1007/3-540-58867-1
CCITT
1988
Specification and Description Language
Recommendation
Z.100
International Consultative Committee for Telephony and Telegraphy
Geneva
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)
http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html
INRIA/VASY and INRIA/CONVECS, 130 pages
Jorge Cuéllar
Martin Huber
1995
TLT
Lewerentz
Lindner
151–169
10.1007/3-540-58867-1
Werner Damm
Hardi Hungar
Peter Kelb
Rainer Schlör
1995
Statecharts
Lewerentz
Lindner
131–149
10.1007/3-540-58867-1
Dimitris Dranidis
Stefan Gastinger
1995
SPECTRUM
Lewerentz
Lindner
199–228
10.1007/3-540-58867-1
François Erasmy
Emil Sekerinski
1994
Stepwise Refinement of Control Software – A Case Study Using RAISE
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
547–566
10.1007/3-540-58555-9_115
François Erasmy
Emil Sekerinski
1995
RAISE
Lewerentz
Lindner
277–293
10.1007/3-540-58867-1
Hugues Evrard
2016
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
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
553–559
10.1007/978-3-662-49674-9_34
http://cadp.inria.fr/publications/Evrard-16.html
Hugues Evrard
Frédéric Lang
2013
Formal Verification of Distributed Branching Multiway Synchronization Protocols
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
146–160
10.1007/978-3-642-38592-6_11
http://cadp.inria.fr/publications/Evrard-Lang-13.html
Hugues Evrard
Frédéric Lang
2015
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
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
459–466
http://cadp.inria.fr/publications/Evrard-Lang-15.html
Formal Systems (Europe) Ltd
Oxford University Computing Laboratory
2010
Failures-Divergence Refinement – FDR2 User Manual
9th edition
Martin Fränzle
1996
Synthesizing controllers from Duration Calculus
Bengt Jonsson
Joachim Parrow
Proceedings of the fourth International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), Uppsala, Sweden
Springer Verlag
168–187
10.1007/3-540-61648-9_40
Max Fuchs
Jan Philipps
1995
Focus
Lewerentz
Lindner
185–197
10.1007/3-540-58867-1
Hubert Garavel
2015
Revisiting Sequential Composition in Process Calculi
Journal of Logical and Algebraic Methods in Programming
84
6
742–762
10.1016/j.jlamp.2015.08.001
http://cadp.inria.fr/publications/Garavel-15-b.html
Hubert Garavel
Holger Hermanns
2002
On Combining Functional Verification and Performance Evaluation using CADP
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
410–429
10.1007/3-540-45614-7_23
Hubert Garavel
Frédéric Lang
Radu Mateescu
2015
Compositional Verification of Asynchronous Concurrent Systems Using CADP
Acta Informatica
52
4
337–392
10.1007/s00236-015-0226-1
http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-15.html
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
89–107
10.1007/s10009-012-0244-z
http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html
Hubert Garavel
Joseph Sifakis
1990
Compilation and Verification of LOTOS Specifications
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
379–394
http://cadp.inria.fr/publications/Garavel-Sifakis-90.html
Hubert Garavel
Mihaela Sighireanu
1999
A Graphical Parallel Composition Operator for Process Algebras
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
185–202
http://cadp.inria.fr/publications/Garavel-Sighireanu-99.html
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
314–331
10.1007/s100090100044
http://cadp.inria.fr/publications/Garavel-Viho-Zendri-00.html
Ali Gondal
2012
Case Study – Production Cell
Monograph
University of Southampton
http://eprints.soton.ac.uk/id/eprint/342516
Ali Gondal
Michael Poppleton
Michael Butler
2011
Composing Event-B Specifications – Case-Study Experience
Sven Apel
Ethan Jackson
Proceedings of the 10th International Conference on Software Composition (SC 2011), Zurich, Switzerland
Springer Verlag
100–115
10.1007/978-3-642-22045-6_7
Jan Friso Groote
Mohammad Reza Mousavi
2014
Modeling and Analysis of Communicating Systems
The MIT Press
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
http://www-dssz.informatik.tu-cottbus.de/publications/btu-reports/btuReport1995_08_production_cell.pdf
Monika Heiner
Peter Deussen
Jochen Spranger
1996
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets
Proceedings of the 1st International Workshop on Manufacturing and Petri Nets, held at ICATPN'96, Osaka, Japan
177–196
https://pdfs.semanticscholar.org/102a/a35aa028e53713bf08da4b28ea039f35cafc.pdf
Monika Heiner
Maritta Heisel
1999
Modeling Safety-Critical Systems with Z and Petri Nets
Massimo Felici
Karama Kanoun
Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Toulouse, France
Springer Verlag
361–374
10.1007/3-540-48249-0_31
Stefan Heinkel
Thomas Lindner
1995
SDL
Lewerentz
Lindner
171–183
10.1007/3-540-58867-1
Rudolf Herzig
Nikolaos Vlachantonis
1995
TROLL light
Lewerentz
Lindner
373–381
10.1007/3-540-58867-1
C. A. R. Hoare
1978
Communicating Sequential Processes
Communications of the ACM
21
8
666–677
10.1145/359576.359585
C. A. R. Hoare
1985
Communicating Sequential Processes
Prentice-Hall
Leszek Holenderski
1995
LUSTRE
Lewerentz
Lindner
101–112
10.1007/3-540-58867-1
D. R. W. Holton
1995
A PEPA Specification of an Industrial Production Cell
The Computer Journal
38
7
542–551
10.1093/comjnl/38.7.542
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
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
ISO/IEC
2001
Enhancements to LOTOS (E-LOTOS)
International Standard
15437:2001
International Organization for Standardization – Information Technology
Geneva
Stefan Klingenbeck
Thomas Käufl
1995
Tatzelwurm
Lewerentz
Lindner
247–259
10.1007/3-540-58867-1
Franz Korf
Rainer Schlör
1995
Symbolic Timing Diagrams
Lewerentz
Lindner
311–331
10.1007/3-540-58867-1_62
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",
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",
Claus Lewerentz
Thomas Lindner
1995
Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification
Manfred Broy
Stefan Jähnichen
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Lecture Notes in Computer Science
1009
Springer Verlag
388–416
10.1007/BFb0015473
Claus Lewerentz
Thomas Lindner
1995
Formal Development of Reactive Systems – Case Study Production Cell
Lecture Notes in Computer Science
891
Springer Verlag
10.1007/3-540-58867-1
Johan Lilius
Ivan Paltor
2000
The Production Cell: An Exercise in the Formal Verification of a UML Model
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA
10.1109/HICSS.2000.926969
Thomas Lindner
1995
Task Description
Lewerentz
Lindner
7–19
10.1007/3-540-58867-1_46
Helmut Melcher
Klaus Winkelmann
1998
Controller Synthesis for the ``Production Cell'' Case Study
Proceedings of the Second Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA
ACM
24–33
10.1145/298595.298601
Robin Milner
1980
A Calculus of Communicating Systems
Lecture Notes in Computer Science
92
Springer Verlag
10.1007/3-540-10235-3_7
Klaus Nökel
Klaus Winkelmann
1995
CSL
Lewerentz
Lindner
55–74
10.1007/3-540-58867-1
Dumitru Potop-Butucaru
Stephen A. Edwards
Gérard Berry
2007
Compiling Esterel
Springer
Hans Rischel
Hongyan Sun
1997
Design and Prototyping of Real-Time Systems Using CSP and CML
Proceedings of the 9th Euromicro Workshop on Real-Time Systems
IEEE Computer Society Press
121–127
10.1109/EMWRTS.1997.613772
A. W. Roscoe
C. A. R. Hoare
Richard Bird
1997
The Theory and Practice of Concurrency
Prentice Hall
Andreas Rüping
Emil Sekerinski
1995
Modula-3
Lewerentz
Lindner
357–371
10.1007/3-540-58867-1_64
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
Gerhard Schellhorn
Axel Burandt
1995
KIV
Lewerentz
Lindner
229–245
10.1007/3-540-58867-1
C. Vissers
G. Scollo
M. van Sinderen
1988
Architecture and Specification Style in Formal Descriptions of Distributed Systems
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
189–204
10.1016/0304-3975(90)90111-T
C. Vissers
G. Scollo
M. van Sinderen
E. Brinksma
1991
Specification Styles in Distributed Systems Design and Verification
Theoretical Computer Science
89
1
179–206
Roel Wieringa
1995
LCM and MCM
Lewerentz
Lindner
333–355
10.1007/3-540-58867-1
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
164–179
10.1109/12.980006
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
677–697
10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z