Dependability analysis of Wireless Sensor Networks with active-sleep cycles and redundant nodes