| 123 | -- | 124 | Stefania Gnesi, Diego Latella. Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh s College, Oxford, March 19, 1996 - Selected Papers |
| 125 | -- | 137 | James L. Caldwell. Formal Methods Technology Transfer: A View from NASA |
| 139 | -- | 161 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano. A Formal Verification Environment for Railway Signaling System Design |
| 163 | -- | 187 | Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde. The Synchronous Approach to Designing Reactive Systems |
| 189 | -- | 216 | Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions |