


default search action
Reinhard Gotzhein
Person information
- affiliation: Kaiserslautern University of Technology, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c87]Christopher Kohlstruck, Reinhard Gotzhein:
dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks. IWCMC 2022: 1386-1393 - 2021
- [c86]Paulo Fernando Aragao Alves Junior, Reinhard Gotzhein, Lucas Sonntag Hagen:
Volatility-Aware Channel Sensing with Commodity 802.11 Hardware. GLOBECOM 2021: 1-7 - [c85]Christopher Kohlstruck, Reinhard Gotzhein:
cTEx - A Configurable Topology Explorer for Wireless Ad-hoc Networks. ICCCN 2021: 1-9 - [c84]Reinhard Gotzhein:
On the Conception of Executable Design Languages for Distributed Real-time Systems. MoDELS (Companion) 2021: 732-740 - [c83]Kiran Mathews, Reinhard Gotzhein:
OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks. WCNC 2021: 1-7 - 2020
- [b3]Reinhard Gotzhein:
Real-time Communication Protocols for Multi-hop Ad-hoc Networks - Wireless Networking in Production and Control Systems. Computer Communications and Networks, Springer 2020, ISBN 978-3-030-33318-8, pp. 1-272 - [c82]Paulo Aragao, Reinhard Gotzhein:
Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules. AINA 2020: 804-816
2010 – 2019
- 2019
- [c81]Christopher Kramer, Kiran Mathews, Reinhard Gotzhein:
Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket. IPCCC 2019: 1-9 - [c80]Christopher Kohlstruck, Kiran Mathews, Reinhard Gotzhein:
rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities. LCN 2019: 430-437 - 2018
- [c79]Paulo Fernando Aragao Alves Junior, Markus Engel, Reinhard Gotzhein:
A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping. AINA 2018: 32-39 - [c78]Markus Engel, Reinhard Gotzhein:
Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics. EWSN 2018: 79-89 - [c77]Christopher Kohlstruck, Markus Engel, Reinhard Gotzhein:
The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment. IWCMC 2018: 1036-1042 - [c76]Hamed Sefati, Reinhard Gotzhein, Christopher Kramer, Stephan Schloesser, Martin Weiss:
Dynamic overlay line topology establishment and repair in wireless networks. WCNC 2018: 1-6 - [e7]Ferhat Khendek, Reinhard Gotzhein:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings. Lecture Notes in Computer Science 11150, Springer 2018, ISBN 978-3-030-01041-6 [contents] - 2017
- [c75]Markus Engel, Christopher Kramer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
BiPS - A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application. ICETE (Selected Papers) 2017: 313-336 - [c74]Kiran Mathews, Christopher Kramer, Reinhard Gotzhein:
Token bucket based traffic shaping and monitoring for WLAN-based control systems. PIMRC 2017: 1-7 - 2016
- [c73]Dennis Christmann, Tobias Braun, Markus Engel, Reinhard Gotzhein:
BiPS - A Real-time-capable Protocol Framework for Wireless Sensor Networks. PECCS 2016: 17-27 - [c72]Christopher Kramer, Dennis Christmann, Reinhard Gotzhein:
A clustering algorithm for distributed service registries in heterogeneous wireless networks. Wireless Days 2016: 1-7 - 2015
- [c71]Luu Hoang Duc, Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian R. Wirth
:
The stability of Try-Once-Discard for stochastic communication channels: Theory and validation. CDC 2015: 4170-4175 - [c70]Dennis Christmann, Andreas Schmidt, Christian Giehl, Max Reichardt, Moritz Ohmer, Markus Berg, Karsten Berns, Reinhard Gotzhein, Thorsten Herfet:
Vertical Integration and Adaptive Services in Networked Production Environments. ERP Future 2015: 147-162 - [c69]Johann Gebhardt, Reinhard Gotzhein, Anuschka Igel, Christopher Kramer:
QoS Multicast Routing in Partially Mobile Wireless TDMA Networks. GLOBECOM 2015: 1-7 - [c68]Christopher Kramer, Dennis Christmann, Reinhard Gotzhein:
Automatic topology discovery in TDMA-based ad hoc networks. IWCMC 2015: 634-639 - 2014
- [j21]Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian Wirth
:
Realization of Try-Once-Discard in Wireless Multihop Networks. IEEE Trans. Ind. Informatics 10(1): 17-26 (2014) - [c67]Markus Engel, Dennis Christmann, Reinhard Gotzhein:
Implementation and Experimental Validation of Timing Constraints of BBS. EWSN 2014: 84-99 - [c66]Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater:
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. SAM 2014: 271-286 - 2013
- [j20]Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler:
Flexible and energy-efficient duty cycling in wireless networks with MacZ. Concurr. Comput. Pract. Exp. 25(2): 218-233 (2013) - [c65]Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein:
FERAL - Framework for simulator coupling on requirements and architecture level. MEMOCODE 2013: 11-22 - [c64]Dennis Christmann, Tobias Braun, Reinhard Gotzhein:
SDL Real-Time Tasks - Concept, Implementation, and Evaluation. SDL Forum 2013: 239-257 - [e6]Øystein Haugen, Rick Reed, Reinhard Gotzhein:
System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7744, Springer 2013, ISBN 978-3-642-36756-4 [contents] - 2012
- [c63]Dennis Christmann, Reinhard Gotzhein, Stephan Rohr:
The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. ICCCN 2012: 1-9 - [c62]Dennis Christmann, Reinhard Gotzhein:
Real-Time Tasks in SDL. SAM 2012: 53-71 - [c61]Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Anuschka Igel:
Model-driven Engineering of Networked Ambient Systems with SDL-MDD. ANT/MobiWIS 2012: 490-498 - 2011
- [j19]Reinhard Gotzhein, Thomas Kuhn:
Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks. Comput. Networks 55(13): 3015-3031 (2011) - [c60]Philipp Becker, Martin Birtel, Dennis Christmann, Reinhard Gotzhein:
Black-Burst-Based Quality-of-Service Routing (BBQR) for Wireless Ad-Hoc Networks. NOTERE 2011: 1-8 - [c59]Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
Real-Time Signaling in SDL. SDL Forum 2011: 186-201 - [c58]Dennis Christmann, Philipp Becker, Reinhard Gotzhein:
Priority Scheduling in SDL. SDL Forum 2011: 202-217 - 2010
- [c57]Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler:
Flexible and energy-efficient duty cycling in wireless networks with MacZ. NOTERE 2010: 121-128 - [c56]Tobias Braun, Reinhard Gotzhein, Matthias Wiebel:
Integration of FlexRay into the SDL-Model-Driven Development Approach. SAM 2010: 56-71
2000 – 2009
- 2009
- [j18]Dennis Christmann, Reinhard Gotzhein, Thomas Kuhn:
Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 17 (2009) - [c55]Alain Chamaken, Lothar Litz, Marc Krämer, Reinhard Gotzhein:
Cross-layer design of wireless networked control systems with energy limitations. ECC 2009: 2325-2330 - [c54]Mattias Nissler, Reinhard Gotzhein:
Performance evaluation of multi-path routing in reservation-based wireless networks. MSWiM 2009: 268-273 - [c53]Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken:
Energy-Aware System Design with SDL. SDL Forum 2009: 19-33 - [c52]Philipp Becker, Dennis Christmann, Reinhard Gotzhein:
Model-Driven Development of Time-Critical Protocols with SDL-MDD. SDL Forum 2009: 34-52 - [e5]Rick Reed, Attila Bilgic, Reinhard Gotzhein:
SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings. Lecture Notes in Computer Science 5719, Springer 2009, ISBN 978-3-642-04553-0 [contents] - 2008
- [j17]Philipp Becker, Reinhard Gotzhein, Thomas Kuhn:
Model-driven Performance Simulation of Self-organizing Systems with PartsSim. Prax. Inf.verarb. Kommun. 31(1): 45-50 (2008) - [c51]Thomas Kuhn, Reinhard Gotzhein:
Model-Driven Platform-Specific Testing through Configurable Simulations. ECMDA-FA 2008: 278-293 - [c50]Christian Webel, Reinhard Gotzhein, Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. FORTE 2008: 218-233 - [c49]Reinhard Gotzhein, Thomas Kuhn:
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. SECON 2008: 422-431 - 2007
- [c48]Rüdiger Grammes, Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support. FASE 2007: 200-214 - [c47]Christian Webel, Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements. FORTE 2007: 309-324 - [c46]Philipp Becker, Reinhard Gotzhein, Thomas Kuhn:
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. HIS 2007: 277-282 - [c45]Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn:
Specifying Input Port Bounds in SDL. SDL Forum 2007: 101-116 - [c44]Ingmar Fliege, Reinhard Gotzhein:
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. SDL Forum 2007: 150-165 - 2006
- [c43]Thomas Kuhn, Reinhard Gotzhein, Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences. MoDELS 2006: 83-97 - [c42]Reinhard Gotzhein, Ferhat Khendek
:
Compositional Testing of Communication Systems. TestCom 2006: 227-244 - [e4]Reinhard Gotzhein, Rick Reed:
System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4320, Springer 2006, ISBN 3-540-68371-2 [contents] - 2005
- [j16]Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Thomas Kuhn, Christian Webel:
Developing safety-critical real-time systems with SDL design patterns and components. Comput. Networks 49(5): 689-706 (2005) - [c41]Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer:
ns+SDL - The Network Simulator for SDL Systems. SDL Forum 2005: 103-116 - [e3]Paul Müller, Reinhard Gotzhein, Jens B. Schmitt:
Kommunikation in Verteilten Systemen (KiVS), 14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. März 2005. Informatik Aktuell, Springer 2005, ISBN 3-540-24473-5 [contents] - [e2]Paul Müller, Reinhard Gotzhein, Jens B. Schmitt:
Kommunikation in Verteilten Systemen (KiVS), Kurzbeiträge und Workshop der 14. GI/ITG-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. März 2005. LNI P-61, GI 2005, ISBN 3-88579-390-3 [contents] - 2004
- [c40]Rüdiger Grammes, Reinhard Gotzhein:
Towards the Harmonisation of UML and SDL. FORTE 2004: 61-78 - [c39]Jörg Dorsch, Anders Ek, Reinhard Gotzhein:
SPT - The SDL Pattern Tool. SAM 2004: 50-64 - [c38]Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible:
A Flexible Micro Protocol Framework. SAM 2004: 224-236 - 2003
- [j15]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives. Comput. Networks 42(3): 343-358 (2003) - [j14]Reinhard Gotzhein:
Consolidating and applying the SDL-pattern approach: a detailed case study. Inf. Softw. Technol. 45(11): 727-741 (2003) - [c37]Reinhard Gotzhein:
Vertical Reuse in the Development of Distributed Systems with FDTs. FORTE 2003: 31-47 - [c36]Alexander Geraldy, Reinhard Gotzhein:
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. PWC 2003: 188-191 - [c35]Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees:
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS 2003: 131-141 - [c34]Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer:
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. SDL Forum 2003: 102-116 - [c33]Philipp Schaible, Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs. SDL Forum 2003: 317-334 - 2002
- [j13]Philipp Schaible, Reinhard Gotzhein:
View-based animation of communication protocols in design and in operation. Comput. Networks 40(5): 621-638 (2002) - [c32]Reinhard Gotzhein:
Musterbasierte Systementwicklung. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 155-332 - [c31]Reinhard Gotzhein, Philipp Schaible:
Entwicklung von Gebäudeautomationssystemen mit generischen Methoden. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 365-366 - [c30]Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
CoSDL: An Experimental Language for Collaboration Specification. SAM 2002: 1-20 - [c29]Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible:
Micro Protocol Design: The SNMP Case Study. SAM 2002: 61-73 - 2001
- [j12]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. 7(11): 1024-1049 (2001) - [c28]Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
Collaboration-Based Design of SDL Systems. SDL Forum 2001: 72-89 - 2000
- [j11]Egon Börger, Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. 6(7): 580-581 (2000) - [j10]Egon Börger, Reinhard Gotzhein:
The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. 6(7): 582-585 (2000) - [c27]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines 2000: 242-265 - [c26]Philipp Schaible, Reinhard Gotzhein:
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT 2000: 165-174 - [c25]Andreas Prinz, Robert Eschbach, Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261
1990 – 1999
- 1999
- [j9]Reinhard Gotzhein, Philipp Schaible:
Pattern-based development of communication systems. Ann. des Télécommunications 54(11-12): 508-525 (1999) - [c24]Birgit Geppert, Frank Rößler, Reinhard Gotzhein:
Pattern Application vs. Inheritance in SDL. FMOODS 1999 - [c23]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum 1999: 171-192 - 1998
- [j8]Reinhard Gotzhein, Jan Bredereke:
Trends in Formal Description Techniques. Comput. Networks 30(9-10): 863-864 (1998) - [j7]Jürgen Avenhaus, Reinhard Gotzhein, Theo Härder, Lothar Litz, Klaus Madlener, Jürgen Nehmer, Michael M. Richter, Norbert Ritter, H. Dieter Rombach, Bernd Schürmann, Gerhard Zimmermann:
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501. Inform. Forsch. Entwickl. 13(4): 227-234 (1998) - [c22]Joachim Thees, Reinhard Gotzhein:
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP 1998: 54-61 - [c21]Joachim Thees, Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 19-36 - [c20]Reinhard Gotzhein, Martin Kronenburg, Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. FTRTFT 1998: 65-74 - 1997
- [c19]Christian Peper, Reinhard Gotzhein, Martin Kronenburg:
A Generic Approach to the Formal Specification of Requirements. ICFEM 1997: 252-262 - [c18]Joachim Thees, Reinhard Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) 1997: 26-33 - [c17]Birgit Geppert, Reinhard Gotzhein, Frank Rößler:
Configuring communication protocols using SDL patterns. SDL Forum 1997: 523-538 - 1996
- [j6]Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König:
Improving the efficiency of automated protocol implementation using Estelle. Comput. Commun. 19(14): 1226-1235 (1996) - [e1]Reinhard Gotzhein, Jan Bredereke:
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. IFIP Conference Proceedings 69, Chapman & Hall 1996, ISBN 0-412-79490-X [contents] - 1995
- [j5]Reinhard Gotzhein:
Towards a Basic Reference Model of Open Distributed Processing. Comput. Networks ISDN Syst. 27(8): 1287-1304 (1995) - 1994
- [c16]Reinhard Gotzhein:
Applying a Temporal Logic to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 253-273 - [c15]Jan Bredereke, Reinhard Gotzhein:
Specification, detection and resolution of IN feature interactions with Estelle. FORTE 1994: 376-378 - [c14]Reinhard Gotzhein, Gregor von Bochmann:
Specialization in Estelle. PSTV 1994: 21-36 - 1993
- [b2]Reinhard Gotzhein:
Open distributed systems - on concepts, methods, and design from a logical point of view. Vieweg advanced studies in computer science, Vieweg 1993, ISBN 978-3-528-05358-1, pp. I-XVII, 1-227 - [j4]Hartmut König, Wolfgang Effelsberg, Reinhard Gotzhein:
Ableitung parallel ausführbarer Protokollimplementierungen. Prax. Inf.verarb. Kommun. 16(4): 193-202 (1993) - [c13]Jan Bredereke, Reinhard Gotzhein:
Increasing the Concurrency in Estelle. FORTE 1993: 125-139 - [c12]Caroline Andrae, Reinhard Gotzhein, Simone Sédillot:
An Evolutionary Approach to the Development of Complex Protocol Standards. PSTV 1993: 207-222 - 1992
- [j3]Reinhard Gotzhein:
Temporal Logic and Applications-A Tutorial. Comput. Networks ISDN Syst. 24(3): 203-218 (1992) - [j2]Reinhard Gotzhein:
Formal Definition and Representation of Interaction Points. Comput. Networks ISDN Syst. 25(1): 3-22 (1992) - [c11]Detlef Kreuz, Reinhard Gotzhein:
A Compiler for the Parallel Execution of Estelle Specification. FBT 1992: 161-178 - [c10]Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt:
Design of a formal Estelle semantics for verification. FORTE 1992: 153-168 - [c9]Reinhard Gotzhein:
On Conformance in the Context of Open Systems. ICDCS 1992: 236-243 - 1991
- [c8]Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt:
Praktischer Einsatz und Weiterentwicklung von Estelle. GI Jahrestagung 1991: 265-275 - [c7]Reinhard Gotzhein, Friedrich H. Vogt:
The Design of a Temporal Logic for Open Distributed Systems. Open Distributed Processing 1991: 229-240 - 1990
- [j1]Reinhard Gotzhein, Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. 8(4): 255-283 (1990) - [c6]Reinhard Gotzhein:
Specifying Open Distributed Systems with Z. VDM Europe 1990: 319-339 - [c5]Reinhard Gotzhein:
Specifying communication services with temporal logic. PSTV 1990: 295-309
1980 – 1989
- 1989
- [c4]Reinhard Gotzhein:
The Formal Definition of the Architectural Concept "Interaction Point". FORTE 1989: 67-81 - 1986
- [c3]Gregor von Bochmann, Reinhard Gotzhein:
Deriving protocol specifications from service specifications. SIGCOMM 1986: 148-156 - 1985
- [b1]Reinhard Gotzhein:
Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen. University of Erlangen-Nuremberg, Germany, 1985, pp. 1-280 - [c2]Reinhard Gotzhein, Lothar Horbach:
Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry. Datenschutz und Datensicherung 1985: 142-155 - 1982
- [c1]Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß:
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. Fachtagung über Programmiersprachen 1982: 105-116