Modelling and Verification of Large-Scale Sensor Network Infrastructures | IEEE Conference Publication | IEEE Xplore