Gan, X., Dubrovin, J. and Heljanko, K. (2011) “A Symbolic Model Checking Approach to Verifying Satellite Onboard Software”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.681.