Formal Aspects of Component Software - José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (Springer International Publishing, 2014)