Online Formal Modeling And Analysis Of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6 7, 2003. Revised Papers