Constraint-Based Software Specifications and Verification Using UML. - Chin-Feng Fan; Chun-Yin Cheng (IEICE Trans. Inf. Syst., 2006)