Performance analysis of tunnel-boring machine by probabilistic systems approach | Publicación