Functional Specification of Call Processing by State Transition Diagram | IEEE Journals & Magazine | IEEE Xplore