Nepevoda，A.N。 用线性时序逻辑验证技术系统模型。 （英语。俄文原件） Zbl 1258.93019号 自动。远程控制 73，编号9，1539-1552（2012）; Avtom翻译。Telemekh公司。2012年，第9期，124-140（2012）。MSC公司：93A30型 93立方厘米 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Nepevoda}，自动。遥控器73，No.9，1539--1552（2012；Zbl 1258.93019）；Avtom翻译。Telemekh公司。2012年第9期，第124--140号（2012） 全文： 内政部
V.V.贝尔金。 使用功能模型测试现代微处理器的诊断。 （英语。俄文原件） Zbl 1167.68351号 自动。远程控制 69，第8期，1398-1410（2008）; Avtom翻译。Telemekh公司。2008年，第8期，139-152（2008）。MSC公司：68M99型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Belkin}，汽车。遥控器69，No.8，1398--1410（2008；Zbl 1167.68351）；Avtom翻译。Telemekh公司。2008年，第8号，139--152（2008） 全文： 内政部