Mancuso, R., Pellizzoni, R., Tokcan, N., & Caccamo, M. (2017). WCET Derivation Under Single Core Equivalence With Explicit Memory Budget Assignment. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2017.3