Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations | IEEE Conference Publication | IEEE Xplore