A model-driven approach for generating embedded robot navigation control software