Co-simulation of semi-autonomous systems: The line follower robot case study