An Elastic Mixed-Criticality task model and its scheduling algorithm | IEEE Conference Publication | IEEE Xplore