S. V. Gayetri Devi, C. Nalini, and N. Kumar, “An efficient software verification using multi-layered software verification tool”, IJET, vol. 7, no. 2.21, pp. 454–457, Apr. 2018, doi: 10.14419/ijet.v7i2.21.12465.