Schuster, György, and Gábor Terpecz. “Incremental Development and Test in Case of Safety Critical Systems”. Aeronautical Science Bulletins, vol. 26, no. 2, Aug. 2014, pp. 467–473, https://folyoirat.ludovika.hu/index.php/reptudkoz/article/view/4644.