娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃;马丁·斯特芬 模型检查定时系统的同步关闭和流量分析。 （英语） Zbl 1104.68415号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学课堂讲稿3188292-313（2004）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit｛N.Ioustinova｝等人，Lect。注释计算。科学。3188292--313（2004年；Zbl 1104.68415） 全文： DOI程序
娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃;马丁·斯特芬 使用DTSpin关闭打开的SDL系统以进行模型检查。 （英语） Zbl 1064.68550号 Eriksson、Lars-Henrik（编辑）等人，《FME 2002：正式方法——正确使用IT》。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。注释计算。科学。2391, 531-548 (2002).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Ioustinova}等人，Lect。注释计算。科学。2391531--548（2002年；Zbl 1064.68550） 全文： 链接