Intana, A.; Poppleton, M.; Merrett, G. A Formal Co-Simulation Approach for Wireless Sensor Network Development. eceasst 2014, 70.