Linear Software Models for Well-composed Systems Topics: Model Analysis and Checking; Model Composition In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 92-101, 2012 , Rome, Italy