Survivable Network Design Models Based on Pre-Cross-Connected Trails | IEEE Conference Publication | IEEE Xplore