Software and hardware certification of safety-critical avionic systems: A comparison study. - Wonkeun Youn; Baeck-jun Yi (Comput. Stand. Interfaces, 2014)