Ayesha Naveed, “Formal Verification and Design of Smart Stick for Blind People”, LC-JSTEM, vol. 1, no. 3, pp. 1-7, Oct. 2020.