실시간 의사 결정을 위한 이산사건시스템 형식론 기반 동적 미래시점 시뮬레이션 모델링