Formal Modeling and Analysis of Timed Systems - First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.