Added bibliography, added diagram with dual redundancy