PT Unknown AU Verzino Giovanni Cavaliere, F Mari, F Melatti, I Minei, G Salvo, I Yushtein, Y Tronci, E TI Model checking driven simulation of sat procedures SE Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) PY 2012 DI 10.2514/6.2012-1275611 ER