selected publications conference paper Integrating the Security Aspect into Design Space Exploration of Embedded Systems. . 2014 Contracts for evolving systems. . 2013