An Operational Component Specification Method. - Hyung-Ho Kim; Doo-Hwan Bae; Dong Kwan Kim; Hyo Taeg Jung; Yun Dae Chung (APSEC, 1999)