M. Couzinier, Louis Féraud. Formal Verification of Dynamic UML Diagrams using TLA+. In Yuri I. Shokin, O. I. Potaturkin, editors, Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005. pages 85-91, IASTED/ACTA Press, 2005.
Abstract is missing.