卡琳·夸斯 加权时间自动机的MSO逻辑。 （英语） Zbl 1258.68089号 形式方法系统。设计。 38，第3期，193-222（2011）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，形式方法系统。设计。38，第3号，193--222（2011；Zbl 1258.68089） 全文： 内政部
阿什什·奇普伦卡;桑卡拉·纳拉亚南·克里希纳;清迈贾恩 在一个时钟定价的时间自动机上具有多约束形式的模型检查逻辑WCTL。 （英语） Zbl 1262.68109号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，88-102（2009）。MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chiplunkar}等人，Lect。注释计算。科学。5813、88-102（2009年；Zbl 1262.68109） 全文： 内政部