Formal Aspects of Component Software - Kouchnarenko, Olga (Springer International Publishing, 2020)