Kakarlamudi Lakshmi Maidhili, Fazal NoorBasha, Allamsetty Vamsi, “Verification of Real Boot Code at System on Chip (SOC) Level Using GLS”, IJAST, vol. 29, no. 7, pp. 1192 - 1200, May 2020.