The ADePT methodology and PlanWeaver software