Cyber-Physical Systems, embedded software, modeling and design of systems, real-time and concurrent system, theory of current systems