Energy control in dependable Wireless Sensor Networks: a modeling perspective