@article{GOH+06,
title = { Specification and Validation of Models of Real Time and Embedded Systems in UML },
author = {Graf, Susanne and Ober, Ileana and Haugen, Oystein and Selic, Bran},
month = {apr},
year = {2006},
note = {http://www-verimag.imag.fr/~graf/PAPERS/GHOS-Sverts03-05.pdf},
journal = {STTT, Software Tools for Technology Transfer, a special issue on the SVERTS 2003 workshop},
number = {2},
volume = {8},
team = {DCS},
abstract = {The papers in this special section appeared originally in the proceedings of the first issue of the workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003) },
}
