1. Amaral, J. N., et al. (2011). About computing science research methodology. Edmonton, Alberta, Canada. https://doi.org/10.1.1.124.702.
2. Amirat, A., Menasria, A., Oubelli, M. A., & Younsi, N. (2012). Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments. In 2nd International Conference on the Innovative Computing Technology (INTECH 2012), pp. 111–116. IEEE.
3. Arogundade, O.’T., Adubiagbe, H. K., Ojokoh, B. A., & Mustapha, A. M. (2016). Design and validation of e-motoring services model. FUTA Journal of Research in Sciences, 12(2), 307–324.
4. Arogundade, O. T., Ogunyinka, B. A., Mustapha, A. M., & Asahiah, F. O. (2018). A validated model for secured e-government services: A case study of civil status and rights. Journal of Science and Technology (IJoST), 2(1), 92–112.
5. Beckert, B., Keller, U., & Schmitt, P. H. (2002). Translating the object constraint language into first-order predicate logic. In Proceedings of the VERIFY Workshop at Federated Logic Conferences (FLoC), pp. 113–123.