selected publications academic article Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software. 86:2467-2487. 2013