J. M. Farinha and P. D. Ramos,  "Computability assurance for UML template binding", in Model-Driven Engineering and Software Development. Communications in Computer and Information Science, Pires, L. F., Hammoudi, S., Desfray, P., and Filipe, J., Ed., Angers, Springer, 2015, vol. 580, pp. 190-212