Engineering Support for UML Activities by Automated Model-Checking — An Example (2007)

by F A Kraemer, V Slåtten, P Herrmann
Venue:In 4th International Workshop on Rapid Integration of Software Engineering Techniques