“Safety-Critical System and Testing the Integrity Software”, IJARCS, vol. 5, no. 5, pp. 24–28, Jan. 2017, doi: 10.26483/ijarcs.v5i5.2172.