Procedure of specification optimization of heterogeneous robotic system | IEEE Conference Publication | IEEE Xplore