Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. International Journal of Software Engineering and Knowledge Engineering, 17(2):207-230, 2007. [doi]
Abstract is missing.