Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques | Publicación