A parallel simulation of multiple mobile robots using the DORIS design method | IEEE Conference Publication | IEEE Xplore