W. L. Yeung Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML. [Citation Graph (0, 0)][DBLP] IASSE, 2004, pp:233-238 [Conf]
W. L. Yeung A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. [Citation Graph (0, 0)][DBLP] VVEIS, 2004, pp:2-9 [Conf]
W. L. Yeung Checking Consistency between UML Class and State Models Based on CSP and B. [Citation Graph (0, 0)][DBLP] J. UCS, 2004, v:10, n:11, pp:1540-1559 [Journal]