Text this: Hazard Analysis for Safety-critical Systems Using SOFL