Venudhar Rao Hajari, et al. “Innovative Techniques for Software Verification in Medical Devices”. International Journal for Research Publication and Seminar, vol. 15, no. 3, Aug. 2024, pp. 239-54, doi:10.36676/jrps.v15.i3.1488.