@inproceedings{SGQ+7,
title = {A Framework for Evaluating Schedulability Analysis Tools },
author = {Shan, Lijun and Graf, Susanne and Quinton, Sophie and Fejoz, Lo{\"{\i}}c},
year = {2017},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
pages = {539--559},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10460},
team = {SYNC},
}