Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth. Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 287-298, SCITEPRESS, 2020. [doi]
Abstract is missing.