selected publications conference paper Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment. . 2013 Design-Space Exploration through Constraint-Based Model-Transformation. . 2010