@inproceedings{OGO03,
title = {Validating Timed {UML} models by simulation and verification },
author = {Ober, Iulian and Graf, Susanne and Ober, Ileana},
month = {oct},
year = {2003},
booktitle = {Workshop SVERTS on Specification and Validation of UML models for Real Time and Embedded Systems, a satellite event of UML 2003, San Francisco, October 2003},
team = {DCS},
abstract = {A more recent and complete version of this paper is published in STTT (see <a href=#Graf-Ober-STTT-04b>[OGO05]</a>).},
}
