埃蒂安·安德烈；艾曼纽尔·科夸德；劳伦·弗里堡；杰瑞，贾维尔；戴维·莱森斯 反应性约束下发射装置飞行控制系统的参数可调度性分析。 （英语） Zbl 1520.93344号 芬丹。通知。 182，第1期，31-67（2021）.MSC公司：93C85号 60年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，Fundam。通知。182，编号1，31-67（2021；Zbl 1520.93344） 全文： 内政部 arXiv公司
莱因哈德·威廉；比约恩·瓦希特 抽象解释与时序验证应用。邀请的教程。 （英语） Zbl 1155.68449号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123，22-36（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm}和\textit{B.Wachter}，莱克特。票据计算。科学。5123、22-36（2008年；Zbl 1155.68449） 全文： 内政部
利伯·瓦兹尼奥斯基；Zdeněk Hanzálek 基于时间自动机模型的多任务应用程序的形式化验证。 （英语） Zbl 1133.68381号 实时系统。 38，第1号，39-65（2008）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Waszniowski}和\textit{Z.Hanzálek}，实时系统。38，编号1，39-65（2008年；兹bl 1133.68381） 全文： 内政部
拉鲁西尼，F。；马基，N。；Schnoebelen博士。 离散时间系统的有效定时模型检验。 （英语） Zbl 1088.68107号 西奥。计算。科学。 353，编号1-3，249-271（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Theor。计算。科学。353，编号1--3，249--271（2006；Zbl 1088.68107） 全文： 内政部 哈尔