CPN validation of neighbor detection protocol for ad hoc networks | IEEE Conference Publication | IEEE Xplore