Case study: developing a rule-based language for mobile robots | IEEE Conference Publication | IEEE Xplore