Towards Automated System Synthesis Using Sciduction