Software Diversity in Computerized Control Systems by Udo Voges