Text this: Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper.