publication venue for Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL. 3:25-70. 2015