Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification