@inproceedings{WAM+10,
title = {Static Timing Analysis for Hard Real-Time Systems },
author = {Wilhelm, Reinhard and Altmeyer, Sebastian and Maiza-Burgui\`ere, Claire and Grund, Daniel and Herter, Joerg and Reineke, Jan and Wachter, Bjoern and Wilhelm, Stephan},
year = {2010},
booktitle = {VMCAI},
pages = {3--22},
publisher = {Springer Verlag},
team = {CDL-SB},
}
