selected publications academic article Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL. International journal of conceptual structures and smart applications. 3:25-70. 2015