Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Merging Planning, Scheduling & Verification – A Preliminary Analysis." In _In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA)_., 2008.