Formal modelling of a robust Wireless Sensor Network routing protocol | IEEE Conference Publication | IEEE Xplore