An algebra of temporal faults. - Didier, André; Mota, Alexandre (Information Systems Frontiers, 2016)