1. Special section on real-time safety-critical systems

   • Janusz Zalewski

   Editorial 05 May 2009 Pages: 95 - 96

2. A safety shell for UML-RT projects structure and methods of the corresponding UML pattern

   • Roman Gumzej
   • Wolfgang A. Halang

   Original Paper 13 May 2009 Pages: 97 - 105

3. Adaptive reflex autonomicity for real-time systems

   • Roy Sterritt
   • Mike Hinchey

   Research Paper 16 June 2009 Pages: 107 - 115

4. A development methodology for embedded systems based on RT-DEVS

   • Angelo Furfaro
   • Libero Nigro

   Original Paper 05 May 2009 Pages: 117 - 127

5. Modeling selected real-time database concurrency control protocols in Uppaal

   • Martin Kot

   Original Paper 05 May 2009 Pages: 129 - 138

6. A formal model of composing components: the TLA⁺ approach

   • Ondrej Rysavy
   • Jaroslav Rab

   Original Paper 18 May 2009 Pages: 139 - 148

7. Certification of software for real-time safety-critical systems: state of the art

   • Andrew Kornecki
   • Janusz Zalewski

   Original Paper 02 June 2009 Pages: 149 - 161