Formal Aspects of Component Software - Christiano Braga, Peter Csaba Ölveczky (Springer, 2016)