摘要
A.Abate和G.Geeraerts（编辑）。 2017 程序。 2017年格式 .LNCS，第10419卷。 斯普林格。 谷歌学者 
A.V.Aho和M.J.Corasick。 1975年。高效字符串匹配：书目搜索的辅助工具。 Commun公司。 ACM公司 18, 6 (1975), 333--340. 谷歌学者 数字图书馆 
R.Alur和D.L.Dill。 1994.时间自动机理论。 西奥。 计算。 科学。 126, 2 (1994), 183--235. 谷歌学者 数字图书馆 E.Asarin、O.Maler、D.Nickovic和D.Ulus。 2017.结合时间和认知维度进行MTL监测，见{1}，207--223。 谷歌学者 M.Krichen和S.Tripakis。 2009.实时系统的一致性测试。 系统设计中的形式化方法 34, 3 (2009), 238--304. 谷歌学者 数字图书馆 G.Reger和K.Havelund（编辑）。 2017 RV CuBES 2017。 Kalpa计算机出版物，第3卷。 EasyChair。 谷歌学者 D.Ulus、T.Ferrère、E.Asarin和O.Maler。 2014.定时模式匹配。 在 程序。 格式2014（LNCS）， A.Legay和M.Bozga（编辑），第8711卷。 施普林格，222-236。 谷歌学者 D.Ulus、T.Ferrère、E.Asarin和O.Maler。 2016.使用衍生工具进行在线定时模式匹配。 在 程序。 TACAS 2016（LNCS）， M.Chechik和Jean-François Raskin（编辑），第9636卷。 施普林格，736--751。 谷歌学者 数字图书馆 M.Waga、I.Hasuo和K.Suenaga。 2017.通过基于自动跳过的高效在线时间模式匹配，参见{1}，224--243。 谷歌学者
建议
Moore机到确定性有限自动机的构造性形式化转换 MAMECTIS’08：第十届WSEAS数学方法、计算技术和智能系统国际会议记录 系统在状态空间和功能方面的复杂性迫使我们选择最丰富和最严格的方法来支持软件系统的开发。 有限自动机是一种形式化的、自然的描述语言。。。
