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 May 2, 2024. https://www.sciencepubco.com/index.php/ijet/article/view/22040.