Miklos Taliga,  A Study of Quality Assurance and Unit Verification Methods in Safety Critical Environment.   journal   = {International Journal of Electrical and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    January 2015, vol. 107(11). 2407 - 2411
    [viewed 18 October 2019]. Available from: https://publications.waset.org/pdf/10006569.