A Glossary of Standards and Protocols Relevant to Redundant Networks