Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Larsen, Kim G.; Larsen, Kim G.; Niebert, Peter; Niebert, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2004)