Drupal-Bibcite<style face="normal" font="default" size="100%">Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions</style>