Text this: Capturing Requirement Specification for Safety-critical System using SOFL and UML