Towards Tracing at the Model Level | IEEE Conference Publication | IEEE Xplore