Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation - Pira, Einollah (Journal of Computer Science and Technology, 2021)