Synthesis of Robotic System Controllers Using Robotic System Specification Language