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