1. Explicit modeling of semantics associated with composite states in UML statecharts

   • Zhaoxia Hu
   • Sol M. Shatz

   OriginalPaper Pages: 423 - 467

2. An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

   • Karsten Loer
   • Michael D. Harrison

   OriginalPaper 11 May 2006 Pages: 469 - 496

3. A formal approach based on UML and B for the specification and development of database applications

   • Amel Mammar
   • Régine Laleau

   OriginalPaper Pages: 497 - 528