Ahmed, Hussin, Azham Hussain, and Fauziah Baharom. 2018. “Formal Specification Languages: Features, Challenges and Future Directions”. International Journal of Engineering & Technology 7 (4.19): 164-67. https://doi.org/10.14419/ijet.v7i4.19.22040.