M. Llanos Tobarra Diego Cazorla Fernando Cuartero Juan José Pardo Modelling secure wireless sensor networks routing protocols with timed automata. 51-58 2008 PM2HW2N http://doi.acm.org/10.1145/1454630.1454638 conf/mswim/2008pm2 db/conf/mswim/pm2hw2n2008.html#TobarraCCP08