Combining Activity DSM with Temporal Logic for Collaborative Planning and Scheduling. (27th September 2013)