User's guide to programming fault injection and data acquisition in the SIFT environment Carl R. Elks, David F. Green, Daniel L Palumbo