CPS:Small: Syntax-Guided Synthesis for Cyber-Physical Systems