PEIS, MIRA, and ROS: Three frameworks, one service robot — A tale of integration | IEEE Conference Publication | IEEE Xplore