A Novel Approach to Tracing Safety Requirements and State-Based Design Models. - Alenazi, Mounifah; Niu, Nan; Savolainen, Juha (ICSE: International Conference on Software Engineering, 2020)