Artificial Deadlock Detection in Process Networks for ECLIPSE. - Bharath N; Nagaraju Bussa (ASAP, 2005)