Minea, M.; Izbasa, C.; Jebelean, C. EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS. IJC 2014, 2, 63-68.