Interconnecting and reusing component specifications - Cramer, Joachim (1994)