Text this: A Novel Approach to Tracing Safety Requirements and State-Based Design Models.