Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz. Domain-Specific Program Checking. In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10). Volume 6141 of LNCS, Springer-Verlag, 2010. [doi]