Software Diversity in Computerized Control Systems