PanLinx: non-modeled fault