ВЕЛЬДЕР, С. Э.; ШАЛЫТО, А. А. О верификации простых автоматных программ на основе метода Model Checking. Информационно-управляющие системы, n. 3, p. 27-38, 20 jun. 2007.