Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. - Xuandong Li; Sumit Jha Aanand; Lei Bu (BMC@FLoC, 2006)