Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models | IEEE Conference Publication | IEEE Xplore