ATM 시스템 개발에서의 인간 지향적 결함 방지를 위한 인퍼런스엔진 설계 ( Inference Engine Design for Human Oriented Fault Prevention in ATM System Development )