Pattern-based control-code synthesis | IEEE Conference Publication | IEEE Xplore