Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies | IEEE Conference Publication | IEEE Xplore