Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Arbab, Farhad; Ölveczky, Peter Csaba (Springer Berlin Heidelberg : Imprint: Springer, 2012)