FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis | IEEE Conference Publication | IEEE Xplore