SynchroSim: An Integrated Co-simulation Middleware for Heterogeneous Multi-robot System | IEEE Conference Publication | IEEE Xplore