Analysis of operating system diversity for intrusion tolerance. (15th January 2013)