State model for scheduling Built-in Self-Test and scrubbing in FPGA to maximize the system availability in space applications | IEEE Conference Publication | IEEE Xplore