The MITRE Corporation Planner