Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers. Volume 1161 of Communications in Computer and Information Science, pages 27-49, Springer, 2019. [doi]
Abstract is missing.