도달성 그래프를 이용한 SDL 표현 프로토콜 분석 기법 ( An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph )