1. Nagibin D., Petrenko A., Davydenko V., Kotenko I., Fedorchenko E. Invasive Approach to Verification of Functional and Structural Specifications Implemented in Custom Integrated Circuits // Informatics and Automation. 2025. № 2 (24). C. 526-555.