Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver | IEEE Conference Publication | IEEE Xplore