Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers - Lanese, Ivan; Madelaine, Eric (Springer International Publishing : Imprint: Springer, 2015)