Foundations of component based systems (Cambridge Univ. Press, 2000)