@第{zbMATH06239477条，作者={Chatterjee，Krishnendu和Prabhu，Vinayak S.}，Title={定时系统的高效内存、无时钟内存和非{Zeno}安全控制器的综合}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={228-229}，页码={83--119}，年份={2013}，语言={英语}，DOI={10.1016/j.ic.2013.04.003}，关键词={68Q45,91A80,93C65}，zbMATH={6239477}，Zbl={1358.68164}}