Ensuring Compatible Interactions within Component-based Software Systems. - Jun Han 004; Ksze Kae Ker (APSEC, 2003)