An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Nancy G. Leveson
Review and analysis of synthetic diversity for breaking monocultures