@inproceedings{DMY:FASE02,
author = {Alexandre David and M. Oliver M{\"o}ller and Wang Yi},
title = {{F}ormal {V}erification of {UML} {S}tatecharts with {R}eal-{T}ime {E}xtensions},
booktitle = {Fundamental Approaches to Software Engineering (FASE'2002)},
year = {2002},
month = apr,
volume = {2306},
pages = {218--232},
editor = {R.-D. Kutsche and H. Weber},
series = {LNCS},
publisher = {Springer-Verlag},
}