related documents Compositional Modeling and Analysis of Automotive Feature Product Lines Conference Proceeding