“Safety-Critical System and Testing the Integrity Software” (2017) International Journal of Advanced Research in Computer Science, 5(5), pp. 24–28. doi:10.26483/ijarcs.v5i5.2172.