CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical DesignComplete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time ProgramsOn the false path problem in hard real-time programs