A demonstration of compilability for UML template instances - Farinha, J. (2016)