We particularly focus on rigorous design of embedded systems and CPSs. Many different technologies, engineering disciplines and software services are involved in CPS design, and many technology businesses are already developing or contributing towards CPSs without realising it.
