1 Table of Contents: “... Reachability for Priced Time Automata -- A Hybrid Approach to Traction Control -- Optimal Control Using...”

2 “...-dominated embedded systems. The approach incorporates both data flow and control optimizations performed...”