A CASE Tool to Evaluate Functional Diversity in Safety System Software