A layered functional/resource framework for error injection testing of system fault tolerance | IEEE Conference Publication | IEEE Xplore