@第{zbMATH06201516条，作者={Abdellatif、Tesnim和Combaz、Jacques和Sifakis、Joseph}，Title={实时系统的严格实现——从理论到应用}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={23}，数字={4}，页码={882--914}，年份={2013}，语言={英语}，DOI＝{10.1017/s0960129512000008x}，关键词={68N30,68Q45}，zbMATH={6201516}，Zbl={1272.68097}}