I am a Senior Researcher at SecurityMatters and Lecturer at the Network Architecture / Security Group of the Eindhoven University of Technology. My work focuses on model-based design and development techniques for performance evaluation, rapid prototyping and network monitoring in real-time embedded, distributed and automatic control systems. Previously, I worked as a Matlab Software Architect at the Metrology D&E department of ASML focusing on mathematical models for the calibration of lithographic machines. Since 2016 I am also a Research Assistant at the Aristotle University of Thessaloniki in the Dependability and Security group (Department of Informatics), where I work on energy co...