R. Mancuso, R. Pellizzoni, N. Tokcan, and M. Caccamo, “WCET Derivation Under Single Core Equivalence With Explicit Memory Budget Assignment,” in 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), Jun. 2017, doi: 10.4230/LIPIcs.ECRTS.2017.3.