Formal Verification of Dynamic UML Diagrams using TLA+. - M. Couzinier; Louis Féraud (Automation, Control, and Information Technology, 2005)