Detection method of the Probable Integrity Violation areas in FPGA-based Safety-Critical Systems. - Kostiantyn Zashcholkin; Oleksandr Drozd; Yulian Sulima; Olena Ivanova; Ihor Perebeinos (Int. J. Comput., 2020)