, P. K. A. Application of Safety Verification Methodology Framework During Software Development Phases. IJRITCC 2016, 4, 299-305.