G. Schuster and G. Terpecz, “Incremental Development and Test in Case of Safety Critical Systems”, RepTudKoz, vol. 26, no. 2, pp. 467–473, Aug. 2014.