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