Deterministic High-Level Executable Models Allowing Efficient Runtime Verification | Publicación