Gan, X.; Dubrovin, J.; Heljanko, K. A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. eceasst 2011, 46.