@InCollection{zbMATH06076968，作者={Dongol，Brijesh and Hayes，Ian J.}，标题={从多尺度系统规范中导出实时动作系统控制器}，BookTitle={程序构建的数学。第11届国际会议，MPC 2012，西班牙马德里，2012年6月25日至27日。诉讼}，国际标准图书编号={978-3-642-31112-3}，页码={102--131}，年份={2012}，出版商＝{柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-31113-0_7}，关键词={68N30,68N19}，zbMATH={6076968}，Zbl={1358.68069}}