Pathak, R.; Kumar Dewan, V.; Bhat, A. Random Verification Strategy for Microcontroller Based Subsystems for Faster Convergence. EAI Endorsed Trans Cloud Sys 2019, 5 (15), e3. https://doi.org/10.4108/eai.16-7-2019.162214.