Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers - Barbosa, Luís Soares; Lumpe, Markus (Springer Berlin Heidelberg : Imprint: Springer, 2012)