I. O. Kozlyuk and Y. B. Kovalenko, “Functional bases of the software development and operation in avionics”, PIC, vol. 1, no. 63, pp. 49–63, Nov. 2020.