Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers - Luís Soares Barbosa, Markus Lumpe ((Lecture Notes in Computer Science))