author = { Kraemer, Frank Alexander AND Herrmann, Peter },

title = { Model Driven Engineering Languages and Systems: Automated Encapsulation of UML Activities for Incremental Development and Verification },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2009},

url = { http://slubdd.de/katalog?TN_libero_mab2 }