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.