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 20 September 2024]. Available from: https://publications.waset.org/pdf/10006569.