Distributed Task Allocation and Planning under Temporal Logic and Communication Constraints | Synapse