A Framework of Controlled Robot Language for Reliable Human-Robot Collaboration