A Safety Analysis Method With Correlation of States for Integrated Modular Avionics Systems Based on an Extended Generalized Stochastic Petri Net