A Lattice-Based Representation of Temporal Failures | IEEE Conference Publication | IEEE Xplore