Text this: Capturing Safety Properties for Safety-critical Systems using SOFL