Early Validation of Real-Time Systems by Model Execution | Publicación