Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Towards Model-Driven Development of Hard Real-Time Systems
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers
Time Predictability from System-level Design to Task Implementations in Automotive Applications