An algorithm for the computationally efﬁcient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk signiﬁcant scenario identiﬁcation - Yang,Jun