Deadlock detection and resolution in simulation models. - Murali Krishnamurthi; Amar Basavatia; Sanjeev Thallikar (WSC, 1994)