S-CFG: a Representation Model for System Synthesis