Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers - Braga, Christiano; Ölveczky, Peter Csaba (Springer International Publishing : Imprint: Springer, 2016)