Venudhar Rao Hajari, Abhishek Pandurang Benke, Er. Om Goel, Pandi Kirupa Gopalakrishna Pandian, Dr. Punit Goel, and Akshun Chhapola, “Innovative Techniques for Software Verification in Medical Devices”, JRPS, vol. 15, no. 3, pp. 239–254, Aug. 2024.