@PROCEEDINGS{furia-nanz:2012:tools, title = {Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS'12)}, year = {2012}, editor = {Furia, Carlo A. and Nanz, Sebastian}, volume = {7304}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, }