Proceedings of the 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006)

The proceedings present the accepted contributions for the 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML’06). CSDUML’06 takes place on October 1, 2006, in Genova, Italy, and is organised in conjunction with MoDELS’06 (October 1 – 6, 2006). The papers represent research in four areas: specification and analysis, system synthesis, verification, and industrial case studies. Expanded versions of selected papers will be considered for publication in a special issue of the SoSyM Journal and the MoDELS’06 satellite LNCS proceedings, both published by Springer.