11 The diagnosis problem : SDH example ADM alarm TF notification State_Change() alarm LOS notification State_Change() + vertical propagation alarm TF alarm LOS + vertical propagation OpticalSPITTPBdir ALS
{}