I. Miller and Campbell, M. E., “Probabilistic Validation of Simplified Models of Spacecraft Formations near Libration Points”, IEEE Transactions on Aerospace and Electronic Systems, vol. 47, pp. 2779-2791, 2011.