Akinsola, Jide E. T., “Performance Evaluation of Software using Formal Methods”, GJCST, vol. 20, no. C1, pp. 17–23, Jan. 2020.