Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design | IEEE Conference Publication | IEEE Xplore