Ahmed, H. et al. 2018. Formal Specification Languages: Features, Challenges and Future Directions. International Journal of Engineering & Technology. 7, 4.19 (Nov. 2018), 164–167. DOI:https://doi.org/10.14419/ijet.v7i4.19.22040.