@incollection{2007-LNCS-UMLInAction-IntegratingFormalMethodsInIndustrialDesignEducation,
   author = {Hu, Jun and Ross, Philip and Feijs, Loe and Qian, Yuechen},
   title = {UML in Action: Integrating Formal Methods in Industrial Design Education },
   booktitle = {Technologies for E-Learning and Digital Entertainment},
   publisher = {Springer},
   volume = {4469/2007},
   pages = {489-498},
   DOI = {10.1007/978-3-540-73011-8_48},
   PDF = {http://www.drhu.eu/publications/2007-LNCS-UMLInAction-IntegratingFormalMethodsInIndustrialDesignEducation.pdf},
   URL  = {http://www.drhu.eu/publications/2007-LNCS-UMLInAction-IntegratingFormalMethodsInIndustrialDesignEducation/index.html},
   year = {2007}
}