Samia Souissi Taisuke Izumi Koichi Wada Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model. 683-697 2009 SSS http://dx.doi.org/10.1007/978-3-642-05118-0_47 conf/sss/2009 db/conf/sss/sss2009.html#SouissiIW09