@article{MRR+9,
title = { A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems },
author = {Maiza, Claire and Rihani, Hamza and Rivas, Juan M. and Goossens, Jo\"el and Altmeyer, Sebastian and Davis, Robert I.},
month = {jun},
year = {2019},
address = {New York, NY, USA},
journal = {ACM Comput. Surv.},
number = {3},
pages = {56:1--56:38},
publisher = {ACM},
volume = {52},
team = {SYNC, axe_SharedResources},
}
