Modeling and optimizing automotive electric/electronic (e/e) architectures: Towards making clafer accessible to practitioners E Khalilov, J Ross, M Antkiewicz, M Völter, K Czarnecki Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 5 | 2016 |