A C-based synthesis system, Bach, and its application | IEEE Conference Publication | IEEE Xplore