Text this: Methodology for Model-Based Design of Mobile Robots Control Algorithms