Development and Application of a Virtual Simulation System for Tunnel Boring Machine | IEEE Conference Publication | IEEE Xplore