SEMANCO workshop. 11th-12th April 2013, Barcelona, Spain Adapt4EE ENERGY PERFORMANCE USING OPENSTUDIO AND BUSINESS PROCESS DATA César Martín, María Eguaras,
Composition of XML Dialects A ModelicaXML case study Adrian Pop, Ilie Savga, Uwe Aßmann, Peter Fritzson Programming Environments Laboratory Linköping University.
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
