Willink, E. Model Instantiation and Type Checking in UMLX. eceasst 2006, 4.