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