An FTA Method for the Unavailability of Supply in Gas Networks Supported by Physical Models | IEEE Journals & Magazine | IEEE Xplore