Formal Aspects of Component Software - Lanese (Springer International Publishing, 2015)