Martin Becker: Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods. Technical University of Munich, Germany 2020