Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects | IEEE Conference Publication | IEEE Xplore