Querying and Annotating Model Histories with Time-Aware Patterns | IEEE Conference Publication | IEEE Xplore