Latif-Shabgahi, G., Bass, J.M., Bennett, S., "History-based weighted average voter: A novel software voting algorithm for fault-tolerant computer systems", , 2025