Towards a Formal Framework for Spatio-Temporal Granularities | IEEE Conference Publication | IEEE Xplore