DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language | IEEE Conference Publication | IEEE Xplore