1. 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

   • Stefania Gnesi
   • Diego Latella

   OriginalPaper Pages: 123 - 124

2. Formal Methods Technology Transfer: A View from NASA

   • James L. Caldwell

   OriginalPaper Pages: 125 - 137

3. A Formal Verification Environment for Railway Signaling System Design

   • Cinzia Bernardeschi
   • Alessandro Fantechi
   • Dario Romano

   OriginalPaper Pages: 139 - 161

4. The Synchronous Approach to Designing Reactive Systems

   • Axel Poigné
   • Matthew Morley
   • Reinhard Budde

   OriginalPaper Pages: 163 - 187

5. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

   • Joost-Pieter Katoen
   • Rom Langerak
   • Tommaso Bolognesi

   OriginalPaper Pages: 189 - 216