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