Mean-square stability of discrete-time switched systems under modeled random switching. (March 2023)