M. Minea, C. Izbasa, and C. Jebelean, “EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS”, IJC, vol. 2, no. 3, pp. 63-68, Aug. 2014.