Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems | Publicación