Runtime Verification of AUTOSAR Timing Extensions. - Max Jonas Friese; Hannes Kallwies; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Daniel Thoma (RTNS, 2022)