Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings - Carlo A. Furia, Sebastian Nanz ((Lecture Notes in Computer Science))