Formal Aspects of Component Software - Olga Kouchnarenko, Ramtin Khosravi (Springer, 2017)