Обоснование устойчивости информационно-вычислительного процесса автоматизированных систем управления воздушным движением для обеспечения безопасности полетовстатья