Azzedine Boukerche Kaouther Abrougui A Service Discovery protocol for vehicular ad hoc networks: A proof of correctness. 1-8 2009 IPDPS http://dx.doi.org/10.1109/IPDPS.2009.5161192 conf/ipps/2009 db/conf/ipps/ipdps2009.html#BoukercheA09