Approaches and Tools for Implementing Type Systems in Xtext. - Lorenzo Bettini; Dietmar Stoll; Markus Völter; Serano Colameo (SLE, 2012)