Based on: Chapter 4 from: [Crnkovic] Ivica Crnkovic, Magnus Larsson, “Building reliable component- based software systems”, Artech publishing house, 2002.
Component specification Main bibliography: –Ivica Crnkovic, Magnus Larsson (Eds.): Building reliable component- based systems Chapter 2: Specification.