Lifetime analysis of a sensor network with hybrid automata modelling