Tech »  Three is the magic number for Alaska Airlines: triple redundancy