Minea, Marius, Cornel Izbasa, and Calin Jebelean. “EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS”. International Journal of Computing 2, no. 3 (August 1, 2014): 63-68. Accessed December 4, 2024. https://computingonline.net/computing/article/view/231.