The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods