Analyzing the Uses of a Software Modeling Tool. - Xiaoming Li 004; Daryl Shannon; Jabari Walker; Sarfraz Khurshid; Darko Marinov (LDTA@ETAPS, 2006)