PSA modeling method for a safety critical DI&C system