An overview of the phase-modular fault tree approach to phased mission system analysis · Study