A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS. - SARNA-STAROSTA, BEATA; STIREWALT, R. E. K.; DILLON, LAURA K. (International Journal of Software Engineering & Knowledge Engineering, 2007)