The reservation technique in hierarchical scheduling algorithm for real-time mixed criticality tasks | IEEE Conference Publication | IEEE Xplore