publication venue for The Restricted Hill Full 4-Body Problem: application to spacecraft motion about binary asteroids 2005