Finite-time stabilization for discrete-time switched stochastic linear systems under asynchronous switching. (July 2014)