Related Links
ObsSlice:
A Timed Automata Slicer
VTS:
Visual Timed Event Scenarios