Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel. Decomposable and Executable Models for Verification of Real-Time Systems. In Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz, editors, Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers. Volume 1708 of Communications in Computer and Information Science, pages 135-156, Springer, 2022. [doi]
Abstract is missing.