Controller synthesis has been used in recent research to generate, from user specifications, correctby-construction motion and task plans for mobile robots. These plans are implemented by hybrid control architectures allowing the robot to move and interact with complex environments. However, the different abstraction levels involved together with the many components that must be developed for a fully functional end-to-end system requires numerous design and methodology decisions, specially when the robot strongly interacts with its environment. In this paper, we present an end-to-end system design and implementation for a mobile robot targeted at warehouse applications, that uses a proof-of- concept approach in a simulated environment as a key step in the design process. We demonstrate its capabilities in product rearrangement both in simulated and real world scenarios.