Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Sep 2017) Björn Lisper Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'17)