书目详细信息 : 硬实时计算系统:可预测调度算法与应用