1. Editorial

   • W. Rance Cleaveland
   • Tiziana Margaria
   • Bernhard Steffen

   EditorialNotes 27 February 2014 Pages: 1 - 5

2. The meaning of “formal”: from weak to strong formal methods

   • Pierre Wolper

   The opinion corner 27 February 2014 Pages: 6 - 8

3. The Electronic Tool Integration platform: concepts and design

   • Bernhard Steffen
   • Tiziana Margaria
   • Volker Braun

   Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 9 - 30

4. Integrating tools in the ETI platform

   • Volker Braun
   • Tiziana Margaria
   • Carsten Weise

   Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 31 - 48

5. Interacting with ETI: a user session

   • Tiziana Margaria
   • Volker Braun
   • Jürgen Kreileder

   Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 49 - 63

6. Continuous modeling of real-time and hybrid systems: from concepts to tools

   • Kim G. Larsen
   • B. Steffen
   • C. Weise

   Special section on timed and hybrid systems 27 February 2014 Pages: 64 - 85

7. Real-time system = discrete system + clock variables

   • Rajeev Alur
   • Thomas A.

   Special section on timed and hybrid systems 27 February 2014 Pages: 86 - 109

8. HYTECH: a model checker for hybrid systems

   • Thomas A. Henzinger
   • Pei-Hsin Ho
   • Howard Wong-Toi

   Special section on timed and hybrid systems 27 February 2014 Pages: 110 - 122

9. KRONOS: a verification tool for real-time systems

   • Sergio Yovine

   Special section on timed and hybrid systems 27 February 2014 Pages: 123 - 133

10. Uppaal in a nutshell

    • Kim G. Larsen
    • Paul Pettersson
    • Wang Yi

    Special section on timed and hybrid systems 27 February 2014 Pages: 134 - 152

11. OMT and SDL based techniques and tools for design, simulation and test production of distributed systems

    • Philippe Leblanc

    Regular contributions 27 February 2014 Pages: 153 - 165

12. Protocol verification with the ALDÉBARAN toolset

    • Marius Bozga
    • Jean-Claude Fernandez
    • Laurent Mounier

    Regular contributions 27 February 2014 Pages: 166 - 183