Leo Cacciari Omar Rafiq Validation of protocols with temporal constraints. 1188-1199 1996 19 Computer Communications 14 http://dx.doi.org/10.1016/S0140-3664(96)01153-X db/journals/comcom/comcom19.html#CacciariR96