@inproceedings{GH04,
title = { Correct Development of Embedded Systems },
author = {Graf, Susanne and Hooman, Jozef},
month = {may},
year = {2004},
booktitle = {European Workshop on Software Architecture: Languages, Styles, Models, Tools, and Applications (EWSA 2004), co-located with ICSE 2004, St Andrews, Scotland},
series = {LNCS},
volume = {3047},
team = {DCS},
abstract = {This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this semantics },
}
