Statistics for Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer