A formal TTCN-based protocol testing for intelligent network | IEEE Conference Publication | IEEE Xplore