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