Pathak, R.; Kumar Dewan, V.; Bhat, A. Random Verification Strategy for Microcontroller Based Subsystems for Faster Convergence. EAI Endorsed Trans Cloud Sys 2019, 5, e3.