Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher