SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation