Sequential Monte Carlo method to assess the availability of power station layouts with generator circuit-breakers