J. L. Medina, J. L. Medina-pasaje, M. G. Harbour, and J. M. Drake, Mast real-time view: A graphic uml tool for modeling object-oriented realtime systems, the 22nd IEEE Real-Time Systems Symposium, vol.01, pp.245-256, 2001.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, Ada Lett, vol.XXIV, issue.4, pp.1-8, 2004.

. Tri-pacific, , 2002.

M. Masmano, I. Ripoll, A. Crespo, J. J. Metge, and P. Arberet, Xtratum: An open source hypervisor for TSP embedded systems in aerospace, DASIA 2009. DAta Systems In Aerospace, 2009.

L. Marzario, G. Lipari, P. Balbastre, and A. Crespo, Iris: A new reclaiming algorithm for server-based real-time systems, Real-Time and Embedded Technology and Applications Symposium, p.211, 2004.

P. Balbastre, I. Ripoll, and A. Crespo, Exact response time analysis of hierarchical fixedpriority scheduling, Proceedings of 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009.

E. Arvind, L. Insup, S. Oleg, and V. Steve, A compositional framework for avionics (arinc-653) systems, 2009.

E. W. Giering and T. P. Baker, A tool for the deterministic scheduling of real-time programs implemented as periodic ada tasks, SETA2: Proceedings of the second international symposium on Environments and tools for Ada, pp.54-73, 1994.

K. Sanjoy and . Baruah, Resource sharing in edf-scheduled systems: A closer look, RTSS '06: Proceedings of the 27th IEEE International Real-Time Systems Symposium, pp.379-387, 2006.