Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - Bae, Kyungmin; Bae, Kyungmin; Ölveczky, Peter Csaba; Ölveczky, Peter Csaba (Springer International Publishing : Imprint: Springer, 2018)