Formal Aspects of Component Software - Bae, Kyungmin (Springer International Publishing, 2020)