Pathak, R., Kumar Dewan, V. and Bhat, A. (2019) “Random verification Strategy for Microcontroller based Subsystems for faster Convergence”, EAI Endorsed Transactions on Cloud Systems, 5(15), p. e3. doi: 10.4108/eai.16-7-2019.162214.