A Logical Framework for Augmented Simulations of Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore