Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques. - Javier Fernández; Pablo Parra; Bogdan Nilas; J. Ignacio García Tejedor; Sebastián Sánchez-Prieto; Oscar R. Polo (SIES, 2013)