Barreto, R., Maciel, P., & Cavalcante, S. 2003 nov 10. A modeling methodology and pre-run-time scheduling for embedded real-time software. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :