“Performance Evaluation of Software using Formal Methods” (2020) Global Journal of Computer Science and Technology, 20(C1), pp. 17–23. Available at: https://computerresearch.org/index.php/computer/article/view/1930 (Accessed: 11 June 2026).