A formal TTCN-based protocol testing for intelligent network. - Sangki Kim; Hyunjoo Bae; Kyungpyo Jun (ISCC, 1998)