Barreto, R., Maciel, P., & Cavalcante, S. (2003). A modeling methodology and pre-run-time scheduling for embedded real-time software. In Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing, (pp. 72-79). Porto Alegre: SBC.