Ji-Hyun Lee Hye-Min Noh Cheol-Jung Yoo Ok-Bae Chang Component Contract-Based Formal Specification Technique. 836-845 2005 conf/iccsa/2005-3 ICCSA (3) http://dx.doi.org/10.1007/11424857_91 db/conf/iccsa/iccsa2005-3.html#LeeNYC05