Pathak, R., Kumar Dewan, V., & Bhat, A. (2019). Random verification Strategy for Microcontroller based Subsystems for faster Convergence. EAI Endorsed Transactions on Cloud Systems, 5(15), e3. https://doi.org/10.4108/eai.16-7-2019.162214