Interactive information zoom on Component Fault Trees. - David Santiago Velasco Moncada; Jan Reich; Maxime Tchangou (Modellierung, 2018)