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