publicações selecionadas An Algebra of Temporal Faults Estratégia sistemática para identificar falhas em componentes usando comportamento nominal Derivando lógicas de falhas a partir de modelos nominais
