Incremental Specification

Step 4: The PSC system is synthesized