Building reliable component-based software systems - Crnkovic, Ivica (Artech House, 2002)