UND PRAKTISCHE MATHEMATIK Efficient Compilation of Cyclic Synchronous Programs