Intana, A., Poppleton, M. and Merrett, G. (2014) “A Formal Co-Simulation Approach for Wireless Sensor Network Development”, Electronic Communications of the EASST, 70. doi: 10.14279/tuj.eceasst.70.969.