Linear Software Models - Vector Spaces for Design Pattern Modules Topics: Model Analysis and Checking; Model Composition In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 0ICSOFT, 520-527, 2013 , Reykjavík, Iceland