Ahmed, Hussin, Azham Hussain, and Fauziah Baharom. “Formal Specification Languages: Features, Challenges and Future Directions”. International Journal of Engineering & Technology 7, no. 4.19 (November 27, 2018): 164–167. Accessed November 25, 2024. https://sciencepubco.com/index.php/ijet/article/view/22040.