Verifiable Executable Models for Decomposable Real-time Systems | Publicación