Times is a new modelling, scheduling, and code-generation tool for
embedded real-time systems modelled as timed automata extended with
sporadic, periodic, non-preemptive, or preemptive asynchronous
processes. It provides a graphical interface for editing and
simulation, and an engine for schedulability analysis.