SMS versenden: Software Diversity in Computerized Control Systems