Time-triggered Coverage Control