Toward Improved Traceability Of Safety Requirements And State-Based Design Models