R. Barreto, P. Maciel, and S. Cavalcante. " 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, São Paulo/SP, 2003, pp. 72-79.