Automatic code generation for actuator interfacing from a declarative specification | IEEE Conference Publication | IEEE Xplore