Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique - Kharchenko, Vyacheslav (2021)