Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun (Springer International Publishing : Imprint: Springer, 2014)