selected publications academic article Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. Software and Systems Modeling. 19:911-934. 2020