Pathak, Ruchita, Vishal Kumar Dewan, and Aravind Bhat. 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.