UML in Action: Integrating Formal Methods in Industrial Design Education. - Jun Hu 001; Philip Ross; Loe M. G. Feijs; Yuechen Qian (Edutainment, 2007)