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