A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks | IEEE Conference Publication | IEEE Xplore