An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications