Process planning and scheduling for distributed manufacturing (Springer, 2007)