Formal Aspects of Component Software - Kyungmin Bae, Peter Csaba Ölveczky (Springer, 2018)