Barreto, R., P. Maciel, and S. Cavalcante. " A modeling methodology and pre-run-time scheduling for embedded real-time software." Anais do XV Symposium on Computer Architecture and High Performance Computing, São Paulo/SP, 2003. SBC, 2003, pp.72-79.