Minea, M., C. Izbasa, and C. Jebelean. “EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS”. International Journal of Computing, vol. 2, no. 3, Aug. 2014, pp. 63-68, doi:10.47839/ijc.2.3.231.