사이버-물리 시스템의 안전성을 보장하기 위해 요구사항 모델링과 안전성 분석을 어떻게 통합할 수 있을까?