Timing Model for Predictive Simulation of Safety-critical Systems | Publicación