Verzino Giovanni, Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Yuri Yushtein, and Enrico Tronci. "Model checking driven simulation of sat procedures." In _Proceedings of 12th International Conference on Space Operations (SpaceOps 2012)_., 2012. DOI: 10.2514/6.2012-1275611.