Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods. - A. Andrashov; Vyacheslav S. Kharchenko; Vladimir V. Sklyar; L. Reva; V. Dovgopolyi; V. Golovir (EWDTS, 2010)

Design fault injection-based technique and tool for FPGA projects verification. - L. Reva; Vitaliy Kulanov; Vyacheslav S. Kharchenko (EWDTS, 2011)

Invariant-oriented verification of HDL-based safety critical systems. - Vyacheslav S. Kharchenko; Boris Konorev; Vladimir V. Sklyar; L. Reva (EWDTS, 2013)