Component-based Software Protocol Approach - Kim, Jin-Baek; Strecker, Stefan; Kersten, Gregory; Law, Ka Pong (2005)