Krause, J., Herrmann, A. and Diedrich, C. (2008) Test Case Generation from Formal System Specifications Based on UML State Machine. ATP-International, 1, 47-54.
has been cited by the following article: