Specification: Module Activity-Planning