2 works on record
Model-Based Safety and Assessment
Failure-Dependent Timing Analysis - a New Methodology for Probabilistic Worst-Case Execution Time Analysis