Product Line Based Component Unification and Exploiting Unified Components in FORM. - Tsuneo Nakanishi; Minoru Hatamoto; Michihiro Matsumoto; Susumu Yamazaki; Teruaki Kitasuka; Akira Fukuda (APSEC, 2004)