Text this: Parallel reachability analysis of hybrid systems in XSpeed.