Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. - Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel (Journal of Automated Reasoning, 2021)