Ahmed, Hussin, et al. “Formal Specification Languages: Features, Challenges and Future Directions”. International Journal of Engineering & Technology, vol. 7, no. 4.19, Nov. 2018, pp. 164-7, https://doi.org/10.14419/ijet.v7i4.19.22040.