A Specification Framework for Mixed-Criticality Scheduling Protocols — news, coverage & facts — IJR