Explicit modeling of semantics associated with composite states in UML statecharts Zhaoxia HuSol M. Shatz OriginalPaper Pages: 423 - 467
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation Karsten LoerMichael D. Harrison OriginalPaper 11 May 2006 Pages: 469 - 496
A formal approach based on UML and B for the specification and development of database applications Amel MammarRégine Laleau OriginalPaper Pages: 497 - 528
