André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto. Real-time MTL with durations as SMT with applications to schedulability analysis. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 49-56, IEEE, 2020. [doi]
Abstract is missing.