Assuring the Correctness of Configured Software Descriptions. - Song C. Choi; Walt Scacchi (SCM, 1989)

Extracting and Restructuring the Design of Large Systems. - Song C. Choi; Walt Scacchi (IEEE Softw., 1990)