Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts | IEEE Conference Publication | IEEE Xplore