System Construction 2019 Contact: felix.friedrich-YOUKNOWWHat-inf.ethz.ch