书目详细信息 : 并发与实时系统软件设计