Requirements formalization and validation for a telecommunication equipment protection switcher. - Michele Cecconi; Enrico Tronci (HASE, 2000)