Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Corina S. P.s.reanu, Gwen Salaün ((Lecture Notes in Computer Science))