Finding Top-k Shortest Paths with Diversity | IEEE Journals & Magazine | IEEE Xplore