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