Modeling and Analyzing Information Integrity in Safety Critical Systems