PT Unknown AU Cesta, A Finzi, A Fratini, S Orlandini, A Tronci, E TI Merging Planning, Scheduling & Verification – A Preliminary Analysis SE In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA) PY 2008 ER