1277.67 유한 상태 머신의 생존성 분석