Modelling secure wireless sensor networks routing protocols with timed automata | Publicación