Taliga, M. (2015), 'A Study of Quality Assurance and Unit Verification Methods in Safety Critical Environment', World Academy of Science, Engineering and Technology, Open Science Index 107, International Journal of Electrical and Information Engineering, 9(11), 2407 - 2411.