Reachability in the Verification of Hybrid Systems -- Using Hajós' Construction to