SEARCH Articles Figures Tables Application software safety life cycle (in realization phase) Realizability Realizable Realization Realizers