Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Farhad Arbab, Peter Csaba Ölveczky ((Lecture Notes in Computer Science))