An experimental evaluation of the effectiveness of automatic rule-based transformations for safety-critical applications