Y. Fei, L. Zhong, and N. Jha. MASCOTS '04: Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, page 306--317. Washington, DC, USA, IEEE Computer Society, (2004)
N. AbouGhazaleh, B. Childers, D. Mosse, R. Melhem, and M. Craven. LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, page 284--293. New York, NY, USA, ACM, (2003)