Invia SMS: Hazard Analysis Techniques for System Safety