YANG YOUNG JONG

Apparatus and method for product-line architecture description and verification