Pathak, Ruchita, et al. “Random Verification Strategy for Microcontroller Based Subsystems for Faster Convergence”. EAI Endorsed Transactions on Cloud Systems, vol. 5, no. 15, July 2019, p. e3, https://doi.org/10.4108/eai.16-7-2019.162214.