Functional memory faults: a formal notation and a taxonomy | IEEE Conference Publication | IEEE Xplore