SMIRNOV, OLEKSII, et al. “STRATEGY AND ALGORITHMS FOR DETECTING VULNERABILITIES IN SOFTWARE MODELS OF HARDWARE”. Herald of Khmelnytskyi National University. Technical Sciences, vol. 335, no. 3(1), May 2024, pp. 436-44, https://doi.org/10.31891/2307-5732-2024-335-3-60.