“…The interval has the property that a predicate defined on local variables is always true in the interval and is false immediately before and immediately after the interval. The semantics of the interval depend on the predicate which is application-specific [17,18,20,22,25,27,29]; application areas such as sensor networks, distributed debugging, deadlock characterization [26], predicate detection [7,11,12], checkpointing [3][4][5]33,34], and industrial process control model such intervals. Such high-level abstract events at processes and the corresponding time intervals that they span have been explicitly studied [18,20,21,29].…”