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