A Study of Quality Assurance and Unit Verification Methods in Safety Critical Environment - Miklos Taliga (2017)