E. Willink, “Model Instantiation and Type Checking in UMLX”, ECEASST, vol. 4, Dec. 2006.