В. Сафонов, «Современные технологии разработки надежных и безопасных программ», CTE, вып. 6, янв. 2014.