FAULT EXTENSION FE_PDIST /-- ... --/
EXTENSION OF MODULE line_2
  /-- Description of Fault Model for Switch --/
    SLICE Line_2_StuckAt_Faulty
    AFFECTS status WITH
    /-- Description of fault mode StuckAt Closed --/
      MODE stuckAt_faulty : Transient StuckAtByValue_D (
                                               data term << faulty,
                                               data input << status,
                                               data varout >> status,
                                               template self_fix = self_fixed,
                                               event failure >> fault_event_stuck_at_faulty,
                                               event self_fixed >> nominal_event );


                                          
