1. Editorial

   • Bernd J. Krämer

   Legacy Pages: 217 - 218

2. A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

   • Antonino Mazzeo
   • Nicola Mazzocca
   • Valeria Vittorini

   OriginalPaper Pages: 219 - 236

3. A Highly Dependable Computing Architecture for Safety-Critical Control Applications

   • Bernd J. Krämer
   • Norbert Völker

   OriginalPaper Pages: 237 - 251

4. The ProCoS Approach to Correct Systems

   • Hans Langmaack

   OriginalPaper Pages: 253 - 275

5. Building Large, Complex, Distributed Safety-Critical Operating Systems

   • Horst F. Wedde
   • Jon A. Lind

   OriginalPaper Pages: 277 - 302