Pathak, R. et al. 2019. Random verification Strategy for Microcontroller based Subsystems for faster Convergence. EAI Endorsed Transactions on Cloud Systems. 5, 15 (Jul. 2019), e3. DOI:https://doi.org/10.4108/eai.16-7-2019.162214.