ObsSlice

A Timed Automata Slicer based on Observers