Ahmed, H.; Hussain, A.; Baharom, F. Formal Specification Languages: Features, Challenges and Future Directions. IJET 2018, 7 (4.19), 164-167. https://doi.org/10.14419/ijet.v7i4.19.22040.