1. Preface of “Specification and Validation of Real Time and Embedded systems in UML”

   • Susanne Graf
   • Oystein Haugen
   • Bran Selic

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 27 January 2006 Pages: 93 - 96

2. A semantics of communicating reactive objects with timing

   • Jozef Hooman
   • Mark B. van der Zwaag

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 23 September 2005 Pages: 97 - 112

3. A real-time profile for UML

   • Susanne Graf
   • Ileana Ober
   • Iulian Ober

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 17 February 2006 Pages: 113 - 127

4. Validating timed UML models by simulation and verification

   • Iulian Ober
   • Susanne Graf
   • Ileana Ober

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 23 December 2005 Pages: 128 - 145

5. Towards a “Synchronous Reactive” UML profile?

   • Robert de Simone
   • Charles André

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 23 December 2005 Pages: 146 - 155

6. On a time enriched OCL liveness template

   • Juliana Küster-Filipe
   • Stuart Anderson

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 27 January 2006 Pages: 156 - 166

7. The HybridUML profile for UML 2.0

   • Kirsten Berkenkötter
   • Stefan Bisanz
   • Jan Peleska

   Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML 23 January 2006 Pages: 167 - 176