| 1989 | Experience with Formal Methods in Protocol Development. | Deepinder P. Sidhu, Anthony Chung |
| 1989 | A Tool for Encoding and Decoding Big ASN.1 Messages. | Joaqun Seoane |
| 1989 | Executable Communicating Rule Systems. | Jrgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys |
| 1989 | TENT: Test Sequence Generation Tool for Communication Systems. | Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno |
| 1989 | From the Simulation to the Verification of Estelle Specifications. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1989 | TIC: A Timed Calculus for LOTOS. | Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
| 1989 | Documentation of Communications Services and Protocols. | David Lorge Parnas |
| 1989 | AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. | Eric Madelaine, Didier Vergamini |
| 1989 | Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. | P. Li, M. von Thun, Tharam S. Dillon |
| 1989 | ASDE: Design of a Transformational Environment for LOTOS. | Gonzalo Len, Carlos Delgado Kloos, Gustavo-Adolfo Ramrez-Gonzlez, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, Jos Manuel Navarro |
| 1989 | A Protocol Engineering Workstation. | Pieter S. Kritzinger, Graham Wheeler |
| 1989 | LOTOS Extended with Clocks. | Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg |
| 1989 | Specification for Verification. | Hans Hansson, Bengt Jonsson, Fredrik Orava, Bjrn Pehrson |
| 1989 | Derivation of Test Cases for LAP-B from a LOTOS Specification. | Djaffar Gueraichi, Luigi Logrippo |
| 1989 | The Formal Definition of the Architectural Concept "Interaction Point". | Reinhard Gotzhein |
| 1989 | Specifying Concurrent Systems Using Logic. | David R. Gilbert |
| 1989 | Modeling of Distributed Systems by Concurrent Regular Expressions. | Vijay K. Garg |
| 1989 | Compilation of LOTOS Abstract Data Types. | Hubert Garavel |
| 1989 | An Estelle Based Test Generation Tool for Modular Specifications. | Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behet Sarikaya |
| 1989 | A Formal Multi-Layer Test Methodology and its Applications to OSI. | Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale |
| 1989 | An Expressive Temporal Logic for Basic LOTOS. | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |
| 1989 | Tools for LOTOS Specification Style Transformation. | Peter van Eijk |
| 1989 | An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. | Eric Dubuis |
| 1989 | Experiences Using Estelle Within SEDOS Estelle Demonstrator. | Michel Diaz, Jean Dufau, Roland Groz |
| 1989 | An Object Oriented Interpretation of LOTOS. | Elspeth Cusack, Steve Rudkin, Chris Smith |