Akinsola, Jide E. T., et al. “Performance Evaluation of Software Using Formal Methods”. Global Journal of Computer Science and Technology, vol. 20, no. C1, Jan. 2020, pp. 17-23, https://computerresearch.org/index.php/computer/article/view/1930.