Emilio Wuerges, Luiz C. V. dos Santos, Olinto J. V. Furtado, Sandro Rigo. An early real-time checker for retargetable compile-time analysis. In Ivan Saraiva Silva, Renato Perez Ribas, Calvin Plett, editors, Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 03, 2009. ACM, 2009. [doi]
Abstract is missing.