R. Pathak, V. Kumar Dewan, and A. Bhat, “Random verification Strategy for Microcontroller based Subsystems for faster Convergence”, EAI Endorsed Trans Cloud Sys, vol. 5, no. 15, p. e3, Jul. 2019, doi: 10.4108/eai.16-7-2019.162214.