A categorical approach towards metamodeling cyber-physical systems Legatiuk, Dmitrii Theiler, Michael Dragos, Kosmas Smarsly, Kay 2017 - TUHH Open Research