A Study on Hazard Analysis in High Integrity Software Standards and Guidelines