Real-time MTL with durations as SMT with applications to schedulability analysis.

André de Matos Pedro, Martin Leucker, David Pereira^*, Jorge Sousa Pinto

^*Korrespondierende/r Autor/-in für diese Arbeit