Example-Driven Modeling: Model = Abstractions + Examples | IEEE Conference Publication | IEEE Xplore