A. Shahoor, R. Shaukat, S. S. Minhas, H. Awan, and K. Saghar "SharpniZer: A C# Static Code Analysis Tool for Mission Critical Systems", Advances in Science, Technology and Engineering Systems Journal, vol. 5, no. 6, pp. 561–570, 2020, doi: 10.25046/aj050668.