Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems