Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.

Peter Padawitz Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving. 162-177 http://link.springer.de/link/service/series/0558/bibs/1939/19390162.htm 2000 conf/uml/2000 UML db/conf/uml/uml2000.html#Padawitz00