Computer aided design (CAD) software for cyber-physical systems; Computer game software; Computer software and hardware for verification and validation of embedded or cyber-physical systems in the field of computer science or engineering; Computer software development tools; Computer software for computer system and application development, deployment and management; Computer software for verification or validation of embedded or cyber-physical systems in the field of computer science or engi...