Version cited from paper "A Hierarchical Architecture for Time- and Event-Triggered Real-Time Systems" by Jorge Real, Sergio Sáez and Alfons Crespo. Journal of Systems Architecture. Special Issue on Advances in Reliable Software Technologies - An Ada Perspective. November 2019.