Safetu-Critical 시스템 설계를 위한 형식기법 이용