Top-k Critical Vertices Query on Shortest Path | IEEE Journals & Magazine | IEEE Xplore