پیرا, عین الله (2022). A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems. *Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran*, 20(1), 73-79.