Synthesizing Synchronous Systems by Static Scheduling in Space-Time