His research mission is to develop theory, methods and tools for supporting modeling, design and verification of high-assurance (dependable) embedded and cyber-physical systems (CPS). So far, his research has been successfully applied across various domains including aerospace, optical networks and smart-energy systems.