A. Intana, M. Poppleton, and G. Merrett, “A Formal Co-Simulation Approach for Wireless Sensor Network Development”, eceasst, vol. 70, Nov. 2014.