Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques | IEEE Conference Publication | IEEE Xplore