Gửi tin nhắn: An algorithm for the computationally efficient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk significant scenario identification