Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers - Păsăreanu, Corina S.; Salaün, Gwen (Springer Berlin Heidelberg : Imprint: Springer, 2013)