Formal Aspects of Component Software - Farhad Arbab, Sung-Shik Jongmans (Springer, 2020)