Applying model-based principles on a distributed robotic system application | IEEE Conference Publication | IEEE Xplore