Verifying linear temporal specifications of constant-rate multi-mode systems. - Michael Blondin; Philip Offtermatt; Alex Sansfaçon-Buchanan (LICS, 2023)