發送短信 : Hazard analysis for the requirements specification of safety-critical systems using the combination of FHA and FTA techniques