Ahmed H, Hussain A, Baharom F. Formal Specification Languages: Features, Challenges and Future Directions. IJET [Internet]. 2018 Nov. 27 [cited 2024 May 2];7(4.19):164-7. Available from: https://www.sciencepubco.com/index.php/ijet/article/view/22040