Kozlyuk, I. O.; Kovalenko, Y. B. Functional Bases of the Software Development and Operation in Avionics. PIC 2020, 1, 49-63.