Decomposing a highly available router