Arnaud Cuccuru Ansgar Radermacher Sébastien Gérard François Terrier Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. 644-649 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_51 conf/models/2009 db/conf/models/models2009.html#CuccuruRGT09