Sara Gradara Antonella Santone Maria Luisa Villani Using heuristic search for finding deadlocks in concurrent systems. 191-226 2005 202 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2005.07.004 db/journals/iandc/iandc202.html#GradaraSV05