书目详细信息 : 汽车电子/电气架构:实时系统的建模与评价