Gongzhu Hu A Formal Specification of UML Class and State Diagrams. 247-257 2008 Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing http://dx.doi.org/10.1007/978-3-540-70560-4_21 series/sci/2008-149 db/series/sci/sci149.html#Hu08