Probabilistic Validation of Simplified Models of Spacecraft Formations near Libration Points | IEEE Journals & Magazine | IEEE Xplore