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