Building Logical Specifications of Temporal Granularities through Algebraic Operators | IEEE Conference Publication | IEEE Xplore