Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings - Proença, José. (Springer International Publishing : Imprint: Springer, 2017)