tk-coverage: Time-Based K-Coverage for Energy Efficient Monitoring | IEEE Conference Publication | IEEE Xplore