Synthesis of an asynchronous communication protocol for search and rescue robots | IEEE Conference Publication | IEEE Xplore