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