Modelling for Wireless Sensor Network Protocol Design