Automated Encapsulation of UML Activities for Incremental Development and Verification.

Frank Alexander Kraemer, Peter Herrmann

Browse the full MODELS paper archive.