The compositional semantics of timed statecharts.

Published in: IASTED Conf. on Software Engineering and Applications (2004)