On Board Model Checking for Space Applications