Pathak R, Kumar Dewan V, Bhat A. Random verification Strategy for Microcontroller based Subsystems for faster Convergence. EAI Endorsed Trans Cloud Sys [Internet]. 2019 Jul. 16 [cited 2024 Dec. 22];5(15):e3. Available from: https://publications.eai.eu/index.php/cs/article/view/2483