Formal taxonomy research on opportunistic networks | IEEE Conference Publication | IEEE Xplore