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). 2400 - 2404
    [viewed 05 March 2021]. Available from: https://publications.waset.org/pdf/10006569.