Decomposable and Executable Models for Verification of Real-Time Systems | Publicación