Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Development of direct methanol fuel cell systems for material handling applications
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer