@conference{HKMS-RTSS09, author = {T. A. Henzinger and C. M. Kirsch and E. R. B. Marques and A. Sokolova}, title = {Distributed, Modular {HTL}}, booktitle = {Proc. IEEE Real-Time Systems Symposium (RTSS)}, year = {2009}, pages={171--180}, doi={10.1109/RTSS.2009.9}, publisher = {IEEE Computer Society} }