Invia SMS: Software Diversity in Computerized Control Systems