H. Ahmed, A. Hussain, and F. Baharom, “Formal Specification Languages: Features, Challenges and Future Directions”, IJET, vol. 7, no. 4.19, pp. 164–167, Nov. 2018, doi: 10.14419/ijet.v7i4.19.22040.