Formal Aspects of Component Software - Arbab, Farhad (Springer International Publishing, 2020)