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