For Methods for Development of Critical Software Publication Type: Book Chapter Authors: O.M. Tarasyuk; A.V. Gorbenko Source: Lecture Materials, National Aerospace University Institute “KhAI”, Kharkiv (2009)