Compositional Reasoning Using Intervals and Time Reversal | IEEE Conference Publication | IEEE Xplore