@InCollection｛zbMATH05783580，作者={Ni{c}}kovi{c}，Dejan和Piterman，Nir}，标题={从{{\textsc}}{mtl}到确定性时间自动机}，BookTitle={时间系统的形式化建模与分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8日至10日。诉讼程序}，国际标准图书编号={978-3-642-15296-2}，页码={152--167}，年份＝{2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-15297-9_13}，关键词={68Q45,03B44,68Q60}，zbMATH={5783580}，Zbl={1290.68077}}