Building reliable component-based software systems - Crnkovic, Ivica; Larsson, Magnus (Magnus Peter Henrik), 1969- (Artech House, 2002)