"For Methods for Development of Critical Software." In Lecture Materials. Kharkiv: National Aerospace University Institute ?KhAI?, 2009.