[2311.17010] Node Connectivity Augmentation of Highly Connected Graphs