Ahmed, H., Hussain, A. and Baharom, F. (2018) “Formal Specification Languages: Features, Challenges and Future Directions”, International Journal of Engineering & Technology, 7(4.19), pp. 164–167. doi:10.14419/ijet.v7i4.19.22040.