List of Articles تحلیل ایمنیوارسی مدلبن¬ Open Access Article Abstract Page Full-Text 1 - A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems عین الله پیرا