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