@第{zbMATH06833065条，作者={Waez，Md Tawhid Bin和W{\k{a}}sowski，Andrzej和Dingel，Juergen和Rudie，Karen}，Title={使用时间自动机的动态分层实时对象的控制器综合}，FJournal={离散事件动态系统}，日志={离散事件动态系统}，ISSN={0924-6703}，体积={27}，数字={2}，页码={407--441}，年份={2017年}，语言={英语}，DOI={10.1007/s10626-017-0240-2}，关键词={93B50,93A13,93B35,37B15}，zbMATH={6833065}，Zbl={1379.93051}}