Pathak, R., V. Kumar Dewan, and A. Bhat. “Random Verification Strategy for Microcontroller Based Subsystems for Faster Convergence”. EAI Endorsed Transactions on Cloud Systems, vol. 5, no. 15, July 2019, p. e3, doi:10.4108/eai.16-7-2019.162214.