Means-ends and whole-part traceability analysis of safety requirements