Marcondes, H., 		Cancian, R., 		Stemmer, M., & 		Fröhlich, A.
(2009).
 Modeling and Implementation of Real-Time Schedulers for Embedded Systems.
In <em>Proceedings of the 6th Workshop on Operating Systems</em>, (pp. 2405-2416). Porto Alegre: SBC.