Requirements formalization and validation for a telecommunication equipment protection switcher | IEEE Conference Publication | IEEE Xplore