Klaus Bergner Andreas Rausch Marc Sihling Alexander Vilbig Manfred Broy A Formal Model for Componentware. 17-26 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#BergnerRSVB99