Tomasz Kowalski. Net Verifier of Discrete Event System models expressed by UML Activity Diagrams. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Taipei, Taiwan, October 8-11, 2006. pages 3405-3410, IEEE, 2006. [doi]
Abstract is missing.